Policy Synthesis and Reinforcement Learning for Discounted LTL

Policy Synthesis and Reinforcement Learning for Discounted LTL

26 May 2023

Kishor Jothimurugan

Ashutosh Trivedi

Papers citing "Policy Synthesis and Reinforcement Learning for Discounted LTL"

10 / 10 papers shown

Title
Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning Beyazit Yalcinkaya Niklas T. Lauffer Marcell Vazquez-Chanlatte S. Seshia OffRL 52 0 0 06 Mar 2025
Pretrained Embeddings as a Behavior Specification Mechanism Parv Kapoor Abigail Hammer Ashish Kapoor Karen Leung Eunsuk Kang 28 0 0 03 Mar 2025
Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning Beyazit Yalcinkaya Niklas Lauffer Marcell Vazquez-Chanlatte S. Seshia AI4CE 47 5 0 31 Oct 2024
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL Mathias Jackermeier Alessandro Abate OffRL 34 1 0 06 Oct 2024
Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning Arko Banerjee Kia Rahmani Joydeep Biswas Işıl Dillig 36 2 0 22 May 2024
LTL-Constrained Policy Optimization with Cycle Experience Replay Ameesh Shah Cameron Voloshin Chenxi Yang Abhinav Verma Swarat Chaudhuri S. Seshia 29 1 0 17 Apr 2024
Integrating Explanations in Learning LTL Specifications from Demonstrations Ashutosh Gupta John Komp Abhay Singh Rajput Shankaranarayanan Krishna Ashutosh Trivedi Namrita Varshney 13 0 0 03 Apr 2024
A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs Mateo Perez F. Somenzi Ashutosh Trivedi 11 6 0 18 Oct 2023
Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking Hanna Krasowski Jakob Thumm Marlon Müller Lukas Schäfer Xiao Wang Matthias Althoff 80 19 0 13 May 2022
Reinforcement Learning Based Temporal Logic Control with Soft Constraints Using Limit-deterministic Generalized Buchi Automata Mingyu Cai Shaoping Xiao Zhijun Li Z. Kan AI4CE 12 0 0 25 Jan 2021