Reinforcement Learning With Temporal Logic Rewards

11 December 2016

Papers citing "Reinforcement Learning With Temporal Logic Rewards"

50 / 50 papers shown

Title
TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Yue Meng Chuchu Fan 40 0 0 01 May 2025
HypRL: Reinforcement Learning of Control Policies for Hyperproperties Tzu-Han Hsu Arshia Rafieioskouei Borzoo Bonakdarpour 41 0 0 07 Apr 2025
Closing the Intent-to-Behavior Gap via Fulfillment Priority Logic B. Mabsout Abdelrahman AbdelGawad R. Mancuso 48 1 0 04 Mar 2025
Diverse Controllable Diffusion Policy with Signal Temporal Logic Yue Meng Chuchu fan 55 2 0 04 Mar 2025
Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning Zijian Guo Weichao Zhou Wenchao Li OffRL 105 2 0 28 Jan 2025
Adaptive Reward Design for Reinforcement Learning Minjae Kwon Ingy Elsayed-Aly Lu Feng 75 2 0 14 Dec 2024
Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning Beyazit Yalcinkaya Niklas Lauffer Marcell Vazquez-Chanlatte S. Seshia AI4CE 59 5 0 31 Oct 2024
Three Dogmas of Reinforcement Learning David Abel Mark K. Ho Anna Harutyunyan 43 5 0 15 Jul 2024
Inductive Generalization in Reinforcement Learning from Specifications Vignesh Subramanian Rohit Kushwah Subhajit Roy Suguman Bansal OffRL 43 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
LTL-Constrained Policy Optimization with Cycle Experience Replay Ameesh Shah Cameron Voloshin Chenxi Yang Abhinav Verma Swarat Chaudhuri S. Seshia 31 1 0 17 Apr 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 41 18 0 20 Feb 2024
On Generating Explanations for Reinforcement Learning Policies: An Empirical Study Mikihisa Yuasa Huy T. Tran R. Sreenivas FAtt LRM 56 1 0 29 Sep 2023
Signal Temporal Logic Neural Predictive Control Yue Meng Chuchu Fan 23 15 0 10 Sep 2023
Counterfactuals Modulo Temporal Logics Bernd Finkbeiner Julian Siber 15 6 0 15 Jun 2023
Reward-Machine-Guided, Self-Paced Reinforcement Learning Cevahir Köprülü Ufuk Topcu 26 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
Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning Mengyu Liu Pengyuan Lu Xin Chen Fanxin Kong O. Sokolsky Insup Lee 31 3 0 25 Apr 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
Constrained Exploration in Reinforcement Learning with Optimality Preservation Peter C. Y. Chen 13 0 0 05 Apr 2023
Funnel-based Reward Shaping for Signal Temporal Logic Tasks in Reinforcement Learning Naman Saxena Sandeep Gorantla Pushpak Jagtap 42 4 0 30 Nov 2022
Safe Policy Improvement in Constrained Markov Decision Processes Luigi Berducci Radu Grosu OffRL 36 2 0 20 Oct 2022
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives Navid Hashemi Xin Qin Jyotirmoy V. Deshmukh Georgios Fainekos Bardh Hoxha Danil Prokhorov Tomoya Yamaguchi 30 8 0 14 Oct 2022
Movement Analytics: Current Status, Application to Manufacturing, and Future Prospects from an AI Perspective Peter Baumgartner Daniel V. Smith Mashud Rana Reena Kapoor Elena Tartaglia A. Schutt Ashfaqur Rahman John Taylor S. Dunstall 29 4 0 04 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
Joint Learning of Reward Machines and Policies in Environments with Partially Known Semantics Christos K. Verginis Cevahir Köprülü Sandeep Chinchali Ufuk Topcu 33 10 0 20 Apr 2022
Possibility Before Utility: Learning And Using Hierarchical Affordances Robby Costales Shariq Iqbal Fei Sha 31 5 0 23 Mar 2022
Distributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping Ningyuan Zhang Wenliang Liu C. Belta 25 2 0 08 Mar 2022
Programmatic Reward Design by Example Weichao Zhou Wenchao Li 34 15 0 14 Dec 2021
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
Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator Homer Walke Daniel Ritter Carl Trimbach Michael Littman NAI AI4CE 37 6 0 07 Nov 2021
On the Expressivity of Markov Reward David Abel Will Dabney Anna Harutyunyan Mark K. Ho Michael L. Littman Doina Precup Satinder Singh 29 82 0 01 Nov 2021
Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specifications Junya Ikemoto T. Ushio 29 3 0 03 Aug 2021
Supervised Bayesian Specification Inference from Demonstrations Ankit J. Shah Pritish Kamath Shen Li Patrick L. Craven Kevin J. Landers Kevin B. Oden J. Shah 27 3 0 06 Jul 2021
Compositional Reinforcement Learning from Logical Specifications Kishor Jothimurugan Suguman Bansal Osbert Bastani Rajeev Alur CoGe 30 78 0 25 Jun 2021
Learning from Demonstrations using Signal Temporal Logic Aniruddh Gopinath Puranic Jyotirmoy V. Deshmukh Stefanos Nikolaidis 40 25 0 15 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
Embedding Symbolic Temporal Knowledge into Deep Sequential Models Yaqi Xie Fan Zhou Harold Soh AI4CE 21 19 0 28 Jan 2021
Model-based Reinforcement Learning from Signal Temporal Logic Specifications Parv Kapoor Anand Balakrishnan Jyotirmoy V. Deshmukh 29 22 0 10 Nov 2020
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning Rodrigo Toro Icarte Toryn Q. Klassen Richard Valenzano Sheila A. McIlraith OffRL 46 216 0 06 Oct 2020
A Composable Specification Language for Reinforcement Learning Tasks Kishor Jothimurugan Rajeev Alur Osbert Bastani 22 86 0 21 Aug 2020
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
Reinforcement Learning with Non-Markovian Rewards Maor Gaon Ronen I. Brafman OffRL 46 76 0 05 Dec 2019
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning A. Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajic 13 124 0 16 Sep 2019
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
Transfer of Temporal Logic Formulas in Reinforcement Learning Zhe Xu Ufuk Topcu 13 52 0 10 Sep 2019
Certified Reinforcement Learning with Logic Guidance Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 24 53 0 02 Feb 2019
Omega-Regular Objectives in Model-Free Reinforcement Learning E. M. Hahn Mateo Perez S. Schewe Fabio Somenzi Ashutosh Trivedi D. Wojtczak 15 145 0 26 Sep 2018
Logically-Constrained Reinforcement Learning Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening 13 82 0 24 Jan 2018
A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks Xiao Li Yao Ma C. Belta 24 59 0 27 Sep 2017