Modular Deep Reinforcement Learning with Temporal Logic Specifications

23 September 2019

Li-xin Yuan

Mohammadhosein Hasanbeig

Papers citing "Modular Deep Reinforcement Learning with Temporal Logic Specifications"

26 / 26 papers shown

Title
Inductive Generalization in Reinforcement Learning from Specifications Vignesh Subramanian Rohit Kushwah Subhajit Roy Suguman Bansal OffRL 41 0 0 05 Jun 2024
Reward Machines for Deep RL in Noisy and Uncertain Environments Andrew C. Li Zizhao Chen Toryn Q. Klassen Pashootan Vaezipoor Rodrigo Toro Icarte Sheila A. McIlraith 53 7 0 31 May 2024
Policy Synthesis and Reinforcement Learning for Discounted LTL Rajeev Alur Osbert Bastani Kishor Jothimurugan Mateo Perez Fabio Somenzi Ashutosh Trivedi OffRL 17 11 0 26 May 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
Topological Guided Actor-Critic Modular Learning of Continuous Systems with Temporal Objectives Lening Li Zhentian Qian 27 0 0 20 Apr 2023
Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines Andrew C. Li Zizhao Chen Pashootan Vaezipoor Toryn Q. Klassen Rodrigo Toro Icarte Sheila A. McIlraith OffRL 18 9 0 20 Nov 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
Possibility Before Utility: Learning And Using Hierarchical Affordances Robby Costales Shariq Iqbal Fei Sha 29 5 0 23 Mar 2022
Deep reinforcement learning under signal temporal logic constraints using Lagrangian relaxation Junya Ikemoto T. Ushio 33 9 0 21 Jan 2022
Lifelong Reinforcement Learning with Temporal Logic Formulas and Reward Machines Xuejing Zheng Chao Yu Chong Chen Jianye Hao H. Zhuo CLL OffRL 22 9 0 18 Nov 2021
Safer Reinforcement Learning through Transferable Instinct Networks Djordje Grbic S. Risi OffRL OnRL 31 4 0 14 Jul 2021
Compositional Reinforcement Learning from Logical Specifications Kishor Jothimurugan Suguman Bansal Osbert Bastani Rajeev Alur CoGe 28 78 0 25 Jun 2021
WFA-IRL: Inverse Reinforcement Learning of Autonomous Behaviors Encoded as Weighted Finite Automata Tianyu Wang Nikolay Atanasov 38 0 0 10 Mar 2021
The Logical Options Framework Brandon Araki Xiao Li Kiran Vodrahalli Jonathan A. DeCastro Micah J. Fry Daniela Rus OffRL 30 31 0 24 Feb 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
LTL2Action: Generalizing LTL Instructions for Multi-Task RL Pashootan Vaezipoor Andrew C. Li Rodrigo Toro Icarte Sheila A. McIlraith OffRL AI4CE 44 74 0 13 Feb 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
Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer Thomas J. Ringstrom Mohammadhosein Hasanbeig Alessandro Abate 21 3 0 06 Jul 2020
Systematic Generalisation through Task Temporal Logic and Deep Reinforcement Learning Borja G. Leon Murray Shanahan Francesco Belardinelli NAI AI4CE 31 28 0 12 Jun 2020
Safe Reinforcement Learning through Meta-learned Instincts Djordje Grbic S. Risi 18 7 0 06 May 2020
Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning Milad Kazemi Sadegh Soudjani 30 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 28 17 0 02 Apr 2020
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning Abolfazl Lavaei Fabio Somenzi Sadegh Soudjani Ashutosh Trivedi Majid Zamani 63 53 0 02 Mar 2020
Cautious Reinforcement Learning with Logical Constraints Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening 8 75 0 26 Feb 2020
Active Task-Inference-Guided Deep Inverse Reinforcement Learning F. Memarian Zhe Xu Bo Wu Min Wen Ufuk Topcu 11 26 0 24 Jan 2020
Certified Reinforcement Learning with Logic Guidance Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 21 53 0 02 Feb 2019