Control Synthesis from Linear Temporal Logic Specifications using
Model-Free Reinforcement Learning

Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning

16 September 2019

Michael M. Zavlanos

Papers citing "Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning"

17 / 67 papers shown

Title
Model-Free Learning of Safe yet Effective Controllers A. Bozkurt Yu Wang Miroslav Pajic OffRL 10 7 0 26 Mar 2021
Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic Mingyu Cai Mohammadhosein Hasanbeig Shaoping Xiao Alessandro Abate Z. Kan 85 86 0 24 Feb 2021
Probabilistically Guaranteed Satisfaction of Temporal Logic Constraints During Reinforcement Learning Derya Aksaray Yasin Yazıcıoğlu Ahmet Semi Asarkaya 30 11 0 19 Feb 2021
Learning Optimal Strategies for Temporal Tasks in Stochastic Games A. Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajic 19 3 0 08 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
Safe Multi-Agent Reinforcement Learning via Shielding Ingy Elsayed-Aly Suda Bharadwaj Chris Amato Rüdiger Ehlers Ufuk Topcu Lu Feng 13 91 0 27 Jan 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
Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning A. Bozkurt Yu Wang Miroslav Pajic 18 15 0 03 Nov 2020
Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction Mingyu Cai Shaoping Xiao Baoluo Li Zhiliang Li Z. Kan 22 33 0 14 Oct 2020
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning Rodrigo Toro Icarte Toryn Q. Klassen Richard Valenzano Sheila A. McIlraith OffRL 49 216 0 06 Oct 2020
Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives A. Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajic 6 13 0 02 Oct 2020
Optimal Probabilistic Motion Planning with Potential Infeasible LTL Constraints Mingyu Cai Shaoping Xiao Zhijun Li Z. Kan 32 40 0 28 Jul 2020
Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning Milad Kazemi Sadegh Soudjani 30 29 0 04 May 2020
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning Yu Wang Nima Roohi Matthew West Mahesh Viswanathan Geir E. Dullerud 6 11 0 01 Apr 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 14 5 0 16 Jan 2020
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata Ryohei Oura Ami Sakakibara T. Ushio 8 28 0 14 Jan 2020
Certified Reinforcement Learning with Logic Guidance Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 24 53 0 02 Feb 2019