Omega-Regular Objectives in Model-Free Reinforcement Learning

26 September 2018

Papers citing "Omega-Regular Objectives in Model-Free Reinforcement Learning"

25 / 25 papers shown

Title
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL Mathias Jackermeier Alessandro Abate OffRL 43 1 0 06 Oct 2024
Inductive Generalization in Reinforcement Learning from Specifications Vignesh Subramanian Rohit Kushwah Subhajit Roy Suguman Bansal OffRL 38 0 0 05 Jun 2024
What Are the Odds? Improving the foundations of Statistical Model Checking Tobias Meggendorfer Maximilian Weininger Patrick Wienhoft 39 4 0 08 Apr 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 37 18 0 20 Feb 2024
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
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees Daqian Shao M. Kwiatkowska OffRL 26 6 0 02 May 2023
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking Dennis Gross T. D. Simão N. Jansen G. Pérez AAML 46 2 0 10 Dec 2022
Online Shielding for Reinforcement Learning Bettina Könighofer Julian Rudolf Alexander Palmisano Martin Tappler Roderick Bloem OffRL 6 20 0 04 Dec 2022
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP Chaitanya Agarwal Shibashis Guha Jan Křetínský Pazhamalai Muruganandham 13 5 0 03 Jun 2022
Accelerated Reinforcement Learning for Temporal Logic Control Objectives Y. Kantaros 16 11 0 09 May 2022
Joint Learning of Reward Machines and Policies in Environments with Partially Known Semantics Christos K. Verginis Cevahir Köprülü Sandeep P. Chinchali Ufuk Topcu 30 10 0 20 Apr 2022
Secure-by-Construction Synthesis of Cyber-Physical Systems Siyuan Liu Ashutosh Trivedi Xiang Yin Majid Zamani 3DV 30 43 0 14 Feb 2022
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review Florian Tambon Gabriel Laberge Le An Amin Nikanjam Paulina Stevia Nouwou Mindom Y. Pequignot Foutse Khomh G. Antoniol E. Merlo François Laviolette 30 66 0 26 Jul 2021
Compositional Reinforcement Learning from Logical Specifications Kishor Jothimurugan Suguman Bansal Osbert Bastani Rajeev Alur CoGe 28 77 0 25 Jun 2021
Mungojerrie: Reinforcement Learning of Linear-Time Objectives E. M. Hahn Mateo Perez S. Schewe F. Somenzi Ashutosh Trivedi D. Wojtczak 17 10 0 16 Jun 2021
Verifiable and Compositional Reinforcement Learning Systems Cyrus Neary Christos K. Verginis Murat Cubuktepe Ufuk Topcu CoGe OffRL 17 16 0 07 Jun 2021
Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic Mingyu Cai Mohammadhosein Hasanbeig Shaoping Xiao Alessandro Abate Z. Kan 80 86 0 24 Feb 2021
Multi-Agent Reinforcement Learning with Temporal Logic Specifications Lewis Hammond Alessandro Abate Julian Gutierrez Michael Wooldridge AI4CE 42 32 0 01 Feb 2021
Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning A. Bozkurt Yu Wang Miroslav Pajic 13 15 0 03 Nov 2020
Enforcing Almost-Sure Reachability in POMDPs Sebastian Junges N. Jansen S. Seshia 22 26 0 30 Jun 2020
Probabilistic Guarantees for Safe Deep Reinforcement Learning E. Bacci David Parker 16 27 0 14 May 2020
Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning M. Kazemi Sadegh Soudjani 14 28 0 04 May 2020
Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks Chuanzhen Wang Yinan Li Stephen L. Smith Jun Liu 22 17 0 02 Apr 2020
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications Murat Cubuktepe Zhe Xu Ufuk Topcu 33 14 0 24 Jan 2020
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 11 148 0 11 Sep 2019