Transfer of Temporal Logic Formulas in Reinforcement Learning

Transfer of Temporal Logic Formulas in Reinforcement Learning

10 September 2019

Ufuk Topcu

Papers citing "Transfer of Temporal Logic Formulas in Reinforcement Learning"

15 / 15 papers shown

Title
HypRL: Reinforcement Learning of Control Policies for Hyperproperties Tzu-Han Hsu Arshia Rafieioskouei Borzoo Bonakdarpour 43 0 0 07 Apr 2025
Inductive Generalization in Reinforcement Learning from Specifications Vignesh Subramanian Rohit Kushwah Subhajit Roy Suguman Bansal OffRL 46 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 55 7 0 31 May 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
Reward-Machine-Guided, Self-Paced Reinforcement Learning Cevahir Köprülü Ufuk Topcu 28 3 0 25 May 2023
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees Daqian Shao Marta Kwiatkowska OffRL 29 7 0 02 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
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks Xiaowu Sun Yasser Shoukry 53 11 0 11 Oct 2022
Optimizing Demonstrated Robot Manipulation Skills for Temporal Logic Constraints Akshay Dhonthi Philipp Schillinger Leonel Rozo Daniele Nardi 41 7 0 07 Sep 2022
Lifelong Reinforcement Learning with Temporal Logic Formulas and Reward Machines Xuejing Zheng Chao Yu Chong Chen Jianye Hao H. Zhuo CLL OffRL 25 9 0 18 Nov 2021
Compositional Reinforcement Learning from Logical Specifications Kishor Jothimurugan Suguman Bansal Osbert Bastani Rajeev Alur CoGe 33 78 0 25 Jun 2021
Neural Network for Weighted Signal Temporal Logic Ruixuan Yan A. Julius AI4TS 30 10 0 08 Apr 2021
Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic Zhe Xu Xiaoming Duan 11 2 0 26 Mar 2021
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples Zhe Xu Bo Wu Aditya Ojha Daniel Neider Ufuk Topcu OffRL 25 30 0 28 Jun 2020
Joint Inference of Reward Machines and Policies for Reinforcement Learning Zhe Xu I. Gavran Yousef Ahmad R. Majumdar Daniel Neider Ufuk Topcu Bo Wu 30 92 0 12 Sep 2019