Reinforcement Learning for Temporal Logic Control Synthesis with
Probabilistic Satisfaction Guarantees

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees

11 September 2019

Mohammadhosein Hasanbeig

Alessandro Abate

Daniel Kroening

George J. Pappas

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

18 / 68 papers shown

Title
Online Motion Planning with Soft Metric Interval Temporal Logic in Unknown Dynamic Environment Zhiliang Li Mingyu Cai Shaoping Xiao Z. Kan 30 16 0 18 Oct 2021
Safety-Critical Learning of Robot Control with Temporal Logic Specifications Mingyu Cai C. Vasile 35 4 0 07 Sep 2021
Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts Nicola Bernini M. Bessa R. Delmas A. Gold Eric Goubault R. Pennec S. Putot Franccois Sillion 6 7 0 27 Jul 2021
Compositional Reinforcement Learning from Logical Specifications Kishor Jothimurugan Suguman Bansal Osbert Bastani Rajeev Alur CoGe 28 78 0 25 Jun 2021
Lifted Model Checking for Relational MDPs Wen-Chi Yang Jean-François Raskin Luc de Raedt 17 5 0 22 Jun 2021
Learning to Act Safely with Limited Exposure and Almost Sure Certainty Agustin Castellano Hancheng Min J. Bazerque Enrique Mallada 29 4 0 18 May 2021
Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes Yu Wang A. Bozkurt Miroslav Pajic AI4CE 19 3 0 04 Apr 2021
Model-Free Learning of Safe yet Effective Controllers A. Bozkurt Yu Wang Miroslav Pajic OffRL 8 7 0 26 Mar 2021
Probabilistic Planning with Preferences over Temporal Goals Jie Fu 9 6 0 26 Mar 2021
WFA-IRL: Inverse Reinforcement Learning of Autonomous Behaviors Encoded as Weighted Finite Automata Tianyu Wang Nikolay Atanasov 38 0 0 10 Mar 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
Learning Optimal Strategies for Temporal Tasks in Stochastic Games A. Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajic 11 3 0 08 Feb 2021
Reinforcement Learning Based Temporal Logic Control with Soft Constraints Using Limit-deterministic Generalized Buchi Automata Mingyu Cai Shaoping Xiao Zhijun Li Z. Kan AI4CE 31 1 0 25 Jan 2021
Shielding Atari Games with Bounded Prescience Mirco Giacobbe Mohammadhosein Hasanbeig Daniel Kroening H. Wijk 16 23 0 20 Jan 2021
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning Rodrigo Toro Icarte Toryn Q. Klassen Richard Valenzano Sheila A. McIlraith OffRL 44 216 0 06 Oct 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
Certified Reinforcement Learning with Logic Guidance Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 21 53 0 02 Feb 2019