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

v1v2v3 (latest)

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

24 November 2021

Michael Littman

ArXiv (abs)PDF HTML

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 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 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 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 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 Kishor Jothimurugan Rajeev Alur Osbert Bastani 76 87 0 21 Aug 2020
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 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 Giuseppe De Giacomo Luca Iocchi Marco Favorito F. Patrizi OffRL 69 124 0 17 Jul 2018
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 Jie Fu Ufuk Topcu 82 178 0 28 Apr 2014