arrow
Return

Inductive Generalization in Reinforcement Learning from Specifications

delete2026-01-01
delete0
PRE
AI
V
V Subramanian *
R
Rohit Kushwah
S
Subhajit Roy
S
Suguman Bansal
DOI:10.1007/978-3-032-08707-2_13delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
We present a novel inductive generalization framework for RL from logical specifications. Many interesting tasks in RL environments have a natural inductive structure. These inductive tasks have similar overarching goals but they differ inductively in low-level predicates and distributions. We present a generalization procedure that leverages this inductive relationship to learn a higher-order function, a policy generator, that generates appropriately adapted policies for instances of an inductive task in a zero-shot manner. An evaluation of the proposed approach on a set of challenging control benchmarks demonstrates the promiseofourframeworkingeneralizingtounseenpoliciesforlong- horizontasks.
Keywords:
Reinforcement Learning
Inductive Generalization
Policy Generation
Logical Specifications
Zero-Shot Learning

Journal

A
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF:
0
Papers:
21
Citations:
0

Organization

G
georgia institute of technology
Scholars:
2.2K
Papers: 1.1K
Citations: 0
U
university system of georgia
Scholars:
7.3W
Papers: 6.6W
Citations: 101
Cited Papers

Cited Papers

Omega-Regular Objectives in Model-Free Reinforcement Learning
err2019-04-04
err0
errOAAI
errErnst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi; Dominik Wojtczak
errShare
errSave
err
IF0
err
err0
PREAI
err
errShare
errSave
A Framework for Transforming Specifications in Reinforcement Learning
err2022-12-29
err0
PREAI
errRajeev Alur; Suguman Bansal; Osbert Bastani; Kishor Jothimurugan
errShare
errSave
err
IF0
err
err0
PREAI
err
errShare
errSave
LTLf/LDLf Non-Markovian Rewards
err2018-04-25
err0
errOAAI
errRonen Brafman; Giuseppe De Giacomo; Fabio Patrizi
errShare
errSave
researcher View more