ResearchTrend.AI
On the (In)Tractability of Reinforcement Learning for LTL Objectives
v1v2v3 (latest)

On the (In)Tractability of Reinforcement Learning for LTL Objectives

Cambridge Yang
Michael Littman
Michael Carbin
ArXiv (abs)PDFHTML

Papers citing "On the (In)Tractability of Reinforcement Learning for LTL Objectives"

10 / 10 papers shown
Title
Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning
Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning
Beyazit Yalcinkaya
Niklas Lauffer
Marcell Vazquez-Chanlatte
Sanjit A. Seshia
OffRL
148
0
0
06 Mar 2025
Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
Beyazit Yalcinkaya
Niklas Lauffer
Marcell Vazquez-Chanlatte
Sanjit A. Seshia
AI4CE
125
6
0
31 Oct 2024
LTL-Constrained Policy Optimization with Cycle Experience Replay
LTL-Constrained Policy Optimization with Cycle Experience Replay
Ameesh Shah
Cameron Voloshin
Chenxi Yang
Abhinav Verma
Swarat Chaudhuri
Sanjit A. Seshia
131
1
0
17 Apr 2024
Mungojerrie: Reinforcement Learning of Linear-Time Objectives
Mungojerrie: Reinforcement Learning of Linear-Time Objectives
E. M. Hahn
Mateo Perez
S. Schewe
Fabio Somenzi
Ashutosh Trivedi
D. Wojtczak
64
10
0
16 Jun 2021
A Composable Specification Language for Reinforcement Learning Tasks
A Composable Specification Language for Reinforcement Learning Tasks
Kishor Jothimurugan
Rajeev Alur
Osbert Bastani
76
87
0
21 Aug 2020
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning
A. Bozkurt
Yu Wang
Michael M. Zavlanos
Miroslav Pajic
59
126
0
16 Sep 2019
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees
Mohammadhosein Hasanbeig
Y. Kantaros
Alessandro Abate
Daniel Kroening
George J. Pappas
Insup Lee
AI4CE
123
152
0
11 Sep 2019
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf restraining specifications
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf restraining specifications
Giuseppe De Giacomo
Luca Iocchi
Marco Favorito
F. Patrizi
OffRL
69
124
0
17 Jul 2018
Environment-Independent Task Specifications via GLTL
Environment-Independent Task Specifications via GLTL
Michael L. Littman
Ufuk Topcu
Jie Fu
Charles Isbell
Min Wen
J. MacGlashan
63
146
0
14 Apr 2017
Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints
Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints
Jie Fu
Ufuk Topcu
80
178
0
28 Apr 2014

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.