Omega-Regular Objectives in Model-Free Reinforcement Learning

26 September 2018

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

32 / 32 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 17 0 0 21 May 2025
Turn-based Multi-Agent Reinforcement Learning Model Checking Dennis Gross 61 0 0 06 Jan 2025
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL Mathias Jackermeier Alessandro Abate OffRL 51 1 0 06 Oct 2024
Inductive Generalization in Reinforcement Learning from Specifications Vignesh Subramanian Rohit Kushwah Subhajit Roy Suguman Bansal OffRL 46 0 0 05 Jun 2024
What Are the Odds? Improving the foundations of Statistical Model Checking Tobias Meggendorfer Maximilian Weininger Patrick Wienhoft 44 4 0 08 Apr 2024
Probabilistic Model Checking of Stochastic Reinforcement Learning Policies Dennis Gross Helge Spieker OffRL 38 2 0 27 Mar 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 43 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 37 3 0 28 Nov 2023
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees Daqian Shao Marta Kwiatkowska OffRL 31 7 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 51 2 0 10 Dec 2022
Online Shielding for Reinforcement Learning Bettina Könighofer Julian Rudolf Alexander Palmisano Martin Tappler Roderick Bloem OffRL 14 21 0 04 Dec 2022
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
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP Chaitanya Agarwal Shibashis Guha Jan Křetínský Pazhamalai Muruganandham 27 5 0 03 Jun 2022
Accelerated Reinforcement Learning for Temporal Logic Control Objectives Y. Kantaros 21 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 Chinchali Ufuk Topcu 33 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 37 66 0 26 Jul 2021
Compositional Reinforcement Learning from Logical Specifications Kishor Jothimurugan Suguman Bansal Osbert Bastani Rajeev Alur CoGe 33 78 0 25 Jun 2021
Mungojerrie: Reinforcement Learning of Linear-Time Objectives E. M. Hahn Mateo Perez S. Schewe Fabio Somenzi Ashutosh Trivedi D. Wojtczak 25 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 88 86 0 24 Feb 2021
Multi-Agent Reinforcement Learning with Temporal Logic Specifications Lewis Hammond Alessandro Abate Julian Gutierrez Michael Wooldridge AI4CE 44 32 0 01 Feb 2021
Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning A. Bozkurt Yu Wang Miroslav Pajic 18 15 0 03 Nov 2020
Enforcing Almost-Sure Reachability in POMDPs Sebastian Junges N. Jansen S. Seshia 30 26 0 30 Jun 2020
Probabilistic Guarantees for Safe Deep Reinforcement Learning E. Bacci David Parker 19 27 0 14 May 2020
Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning Milad Kazemi Sadegh Soudjani 30 29 0 04 May 2020
Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks Chuanzhen Wang Yinan Li Stephen L. Smith Jun Liu 28 17 0 02 Apr 2020
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications Murat Cubuktepe Zhe Xu Ufuk Topcu 44 14 0 24 Jan 2020
Reward Shaping for Reinforcement Learning with Omega-Regular Objectives E. M. Hahn Mateo Perez S. Schewe Fabio Somenzi Ashutosh Trivedi D. Wojtczak OffRL AI4CE 22 5 0 16 Jan 2020
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning A. Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajic 19 124 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 22 151 0 11 Sep 2019
Certified Reinforcement Learning with Logic Guidance Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 26 53 0 02 Feb 2019