Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas

1 June 2020

Papers citing "Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas"

15 / 15 papers shown

Title
HypRL: Reinforcement Learning of Control Policies for Hyperproperties Tzu-Han Hsu Arshia Rafieioskouei Borzoo Bonakdarpour 36 0 0 07 Apr 2025
Exploiting Hybrid Policy in Reinforcement Learning for Interpretable Temporal Logic Manipulation Hao Zhang Hao Wang Xiucai Huang Wenrui Chen Z. Kan 41 0 0 31 Dec 2024
BlendRL: A Framework for Merging Symbolic and Neural Policy Learning Hikaru Shindo Quentin Delfosse Devendra Singh Dhami Kristian Kersting 43 3 0 15 Oct 2024
Generalization of Compositional Tasks with Logical Specification via Implicit Planning Duo Xu Faramarz Fekri OffRL 25 1 0 13 Oct 2024
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
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 48 6 0 31 May 2024
Reward-Machine-Guided, Self-Paced Reinforcement Learning Cevahir Köprülü Ufuk Topcu 23 3 0 25 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
Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks Wataru Hashimoto Kazumune Hashimoto M. Kishida S. Takai 32 1 0 10 Dec 2022
Generalizing LTL Instructions via Future Dependent Options Duo Xu Faramarz Fekri OffRL AI4CE 24 1 0 08 Dec 2022
Learning to Follow Instructions in Text-Based Games Mathieu Tuli Andrew C. Li Pashootan Vaezipoor Toryn Q. Klassen Scott Sanner Sheila A. McIlraith 36 13 0 08 Nov 2022
In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specifications Borja G. Leon Murray Shanahan Francesco Belardinelli AI4CE 26 15 0 18 Oct 2021
Compositional Reinforcement Learning from Logical Specifications Kishor Jothimurugan Suguman Bansal Osbert Bastani Rajeev Alur CoGe 28 77 0 25 Jun 2021
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