Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees

11 September 2019

Mohammadhosein Hasanbeig

George J. Pappas

Papers citing "Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees"

50 / 68 papers shown

Title
Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives Milad Kazemi Mateo Perez Fabio Somenzi Sadegh Soudjani Ashutosh Trivedi Alvaro Velasquez 7 0 0 21 May 2025
Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Rajarshi Roy Yash Pote David Parker Marta Kwiatkowska 8 0 0 17 May 2025
Qualitative Analysis of $ω$ -Regular Objectives on Robust MDPs Ali Asadi Krishnendu Chatterjee Ehsan Kafshdar Goharshady Mehrdad Karrabi Ali Shafiee 50 0 0 07 May 2025
We'll Fix it in Post: Improving Text-to-Video Generation with Neuro-Symbolic Feedback Minkyu Choi S P Sharan Harsh Goel Sahil Shah Sandeep Chinchali DiffM VGen 91 1 0 24 Apr 2025
HypRL: Reinforcement Learning of Control Policies for Hyperproperties Tzu-Han Hsu Arshia Rafieioskouei Borzoo Bonakdarpour 41 0 0 07 Apr 2025
Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty Pian Yu Yong Li David Parker Marta Z. Kwiatkowska 56 0 0 26 Feb 2025
Adaptive Reward Design for Reinforcement Learning Minjae Kwon Ingy Elsayed-Aly Lu Feng 75 2 0 14 Dec 2024
Multi-agent Path Finding for Timed Tasks using Evolutionary Games Sheryl Paul Anand Balakrishnan Xin Qin Jyotirmoy V. Deshmukh 31 0 0 15 Nov 2024
Learning Hidden Subgoals under Temporal Ordering Constraints in Reinforcement Learning Duo Xu Faramarz Fekri OffRL 38 0 0 03 Nov 2024
Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning Nabil Omi Hosein Hasanbeig Hiteshi Sharma Sriram K. Rajamani S. Sen 45 8 0 31 Oct 2024
Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures Samarth Kalluraya Beichen Zhou Y. Kantaros 30 1 0 22 Oct 2024
Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration Y. Kantaros Jun Wang 37 5 0 16 Oct 2024
Convergence Guarantee of Dynamic Programming for LTL Surrogate Reward Zetong Xuan Yu Wang 21 0 0 10 Aug 2024
Inductive Generalization in Reinforcement Learning from Specifications Vignesh Subramanian Rohit Kushwah Subhajit Roy Suguman Bansal OffRL 41 0 0 05 Jun 2024
On the Uniqueness of Solution for the Bellman Equation of LTL Objectives Zetong Xuan A. Bozkurt Miroslav Pajic Yu Wang 24 4 0 07 Apr 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 39 18 0 20 Feb 2024
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis Rohan Mitta Hosein Hasanbeig Jun Wang Daniel Kroening Y. Kantaros Alessandro Abate 13 1 0 18 Dec 2023
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees Dorde Zikelic Mathias Lechner Abhinav Verma K. Chatterjee T. Henzinger 38 10 0 03 Dec 2023
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications Jun Wang Hosein Hasanbeig Kaiyuan Tan Zihe Sun Y. Kantaros 35 3 0 28 Nov 2023
Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks Jun Wang Haojun Chen Zihe Sun Y. Kantaros 38 0 0 17 Nov 2023
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning Kristina Miller Christopher K. Zeitler William Shen Kerianne L. Hobbs Sayan Mitra John Schierman Mahesh Viswanathan 16 0 0 06 Oct 2023
Evaluating Cognitive Maps and Planning in Large Language Models with CogEval Ida Momennejad Hosein Hasanbeig Felipe Vieira Frujeri Hiteshi Sharma Robert Osazuwa Ness Nebojsa Jojic Hamid Palangi Jonathan Larson ELM LLMAG LRM 34 66 0 25 Sep 2023
ALLURE: Auditing and Improving LLM-based Evaluation of Text using Iterative In-Context-Learning Hosein Hasanbeig Hiteshi Sharma Leo Betthauser Felipe Vieira Frujeri Ida Momennejad 40 15 0 24 Sep 2023
Reinforcement Learning of Action and Query Policies with LTL Instructions under Uncertain Event Detector Wataru Hatanaka R. Yamashina Takamitsu Matsubara 20 5 0 06 Sep 2023
Omega-Regular Reward Machines E. M. Hahn Mateo Perez S. Schewe Fabio Somenzi Ashutosh Trivedi D. Wojtczak OffRL 13 2 0 14 Aug 2023
Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach Iman Sharifi M. Yildirim Saber Fallah 33 5 0 03 Jul 2023
PAGAR: Taming Reward Misalignment in Inverse Reinforcement Learning-Based Imitation Learning with Protagonist Antagonist Guided Adversarial Reward Weichao Zhou Wenchao Li 31 0 0 02 Jun 2023
Policy Synthesis and Reinforcement Learning for Discounted LTL Rajeev Alur Osbert Bastani Kishor Jothimurugan Mateo Perez Fabio Somenzi Ashutosh Trivedi OffRL 19 11 0 26 May 2023
Resilient Temporal Logic Planning in the Presence of Robot Failures Samarth Kalluraya George J. Pappas Y. Kantaros 37 11 0 09 May 2023
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees Daqian Shao Marta Kwiatkowska OffRL 29 7 0 02 May 2023
Model-free Motion Planning of Autonomous Agents for Complex Tasks in Partially Observable Environments Junchao Li Mingyu Cai Z. Kan Shaoping Xiao 28 1 0 30 Apr 2023
Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey Chao Yu Xuejing Zheng H. Zhuo OffRL LRM 55 7 0 24 Apr 2023
System III: Learning with Domain Knowledge for Safety Constraints Fazl Barez Hosien Hasanbieg Alesandro Abbate 24 4 0 23 Apr 2023
Topological Guided Actor-Critic Modular Learning of Continuous Systems with Temporal Objectives Lening Li Zhentian Qian 27 0 0 20 Apr 2023
Safe Reinforcement Learning via Probabilistic Logic Shields Wen-Chi Yang G. Marra Gavin Rens Luc de Raedt OffRL 46 30 0 06 Mar 2023
Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications Zikang Xiong Daniel Lawson Joe Eappen A. H. Qureshi Suresh Jagannathan 13 0 0 02 Mar 2023
Hierarchical Motion Planning under Probabilistic Temporal Tasks and Safe-Return Constraints Meng Guo T. Liao Junjie Wang Zhongkui Li 43 6 0 10 Feb 2023
Learning Symbolic Representations for Reinforcement Learning of Non-Markovian Behavior Phillip J. K. Christoffersen Andrew C. Li Rodrigo Toro Icarte Sheila A. McIlraith OffRL 9 5 0 08 Jan 2023
Reinforcement Causal Structure Learning on Order Graph Dezhi Yang Guoxian Yu Jun Wang Zhe Wu Maozu Guo BDL CML 37 16 0 22 Nov 2022
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks Xiaowu Sun Yasser Shoukry 48 11 0 11 Oct 2022
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications Mingyu Cai Makai Mann Zachary Serlin Kevin J. Leahy C. Vasile 32 12 0 03 Oct 2022
SAFER: Safe Collision Avoidance using Focused and Efficient Trajectory Search with Reinforcement Learning Mario Srouji Hugues Thomas Yao-Hung Tsai Ali Farhadi Jian Zhang 48 5 0 23 Sep 2022
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 25 15 0 21 Sep 2022
Specification-Guided Learning of Nash Equilibria with High Social Welfare Kishor Jothimurugan Suguman Bansal Osbert Bastani Rajeev Alur 39 9 0 06 Jun 2022
Synthesis from Satisficing and Temporal Goals Suguman Bansal Lydia E. Kavraki Moshe Y. Vardi Andrew M. Wells 21 3 0 20 May 2022
Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking Hanna Krasowski Jakob Thumm Marlon Müller Lukas Schäfer Xiao Wang Matthias Althoff 88 20 0 13 May 2022
Contingency-constrained economic dispatch with safe reinforcement learning Michael Eichelbeck H. Markgraf Matthias Althoff 13 10 0 12 May 2022
Accelerated Reinforcement Learning for Temporal Logic Control Objectives Y. Kantaros 16 11 0 09 May 2022
Reinforcement Learning Guided by Provable Normative Compliance Emery A. Neufeld 16 2 0 30 Mar 2022
On the (In)Tractability of Reinforcement Learning for LTL Objectives Cambridge Yang Michael Littman Michael Carbin 8 18 0 24 Nov 2021