A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks

27 September 2017

Papers citing "A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks"

31 / 31 papers shown

Title
Multi-agent Path Finding for Timed Tasks using Evolutionary Games Sheryl Paul Anand Balakrishnan Xin Qin Jyotirmoy V. Deshmukh 31 0 0 15 Nov 2024
Scalable Signal Temporal Logic Guided Reinforcement Learning via Value Function Space Optimization Yiting He Peiran Liu Yiding Ji OffRL 36 0 0 04 Aug 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
Scaling Learning based Policy Optimization for Temporal Tasks via Dropout Navid Hashemi Bardh Hoxha Danil Prokhorov Georgios Fainekos Jyotirmoy Deshmukh 35 1 0 23 Mar 2024
A Safe Preference Learning Approach for Personalization with Applications to Autonomous Vehicles Ruya Karagulle Nikos Arechiga Andrew Best Jonathan A. DeCastro N. Ozay 32 6 0 30 Oct 2023
Layered controller synthesis for dynamic multi-agent systems Emily Clement Nicolas Perrin-Gilbert Philipp Schlehuber-Caissier 26 1 0 13 Jul 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
Learning Symbolic Representations for Reinforcement Learning of Non-Markovian Behavior Phillip J. K. Christoffersen Andrew C. Li Rodrigo Toro Icarte Sheila A. McIlraith OffRL 11 5 0 08 Jan 2023
Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks Wataru Hashimoto Kazumune Hashimoto M. Kishida S. Takai 37 1 0 10 Dec 2022
STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning Nikhil Kumar Singh Indranil Saha 13 6 0 02 Dec 2022
Funnel-based Reward Shaping for Signal Temporal Logic Tasks in Reinforcement Learning Naman Saxena Sandeep Gorantla Pushpak Jagtap 42 4 0 30 Nov 2022
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
Safe Policy Improvement in Constrained Markov Decision Processes Luigi Berducci Radu Grosu OffRL 36 2 0 20 Oct 2022
A Framework for Following Temporal Logic Instructions with Unknown Causal Dependencies Duo Xu Faramarz Fekri 27 2 0 07 Apr 2022
Possibility Before Utility: Learning And Using Hierarchical Affordances Robby Costales Shariq Iqbal Fei Sha 29 5 0 23 Mar 2022
Hierarchical Potential-based Reward Shaping from Task Specifications Luigi Berducci Edgar A. Aguilar Dejan Nivcković Radu Grosu 31 10 0 06 Oct 2021
Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specifications Junya Ikemoto T. Ushio 21 3 0 03 Aug 2021
Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks Wenliang Liu Mirai Nishioka C. Belta 35 5 0 29 Mar 2021
Assured Learning-enabled Autonomy: A Metacognitive Reinforcement Learning Framework Aquib Mustafa Majid Mazouchi S. Nageshrao H. Modares 9 4 0 23 Mar 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
Machine Reasoning Explainability K. Čyras R. Badrinath S. Mohalik A. Mujumdar Alexandros Nikou Alessandro Previti Vaishnavi Sundararajan Aneta Vulgarakis Feljan LRM 41 13 0 01 Sep 2020
Backpropagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods Karen Leung Nikos Arechiga Marco Pavone 6 92 0 31 Jul 2020
Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas Yen-Ling Kuo Boris Katz Andrei Barbu 42 39 0 01 Jun 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
Reward Design in Cooperative Multi-agent Reinforcement Learning for Packet Routing Hangyu Mao Zhibo Gong Zhen Xiao 30 16 0 05 Mar 2020
Elaborating on Learned Demonstrations with Temporal Logic Specifications Craig Innes S. Ramamoorthy 8 26 0 03 Feb 2020
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning A. Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajic 8 124 0 16 Sep 2019
Average-based Robustness for Continuous-Time Signal Temporal Logic N. Mehdipour C. Vasile C. Belta 6 20 0 03 Sep 2019
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications N. Mehdipour C. Vasile C. Belta 9 92 0 12 Mar 2019
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning Takumi Akazaki Shuang Liu Yoriyuki Yamagata Yihai Duan Jianye Hao AI4CE 13 90 0 01 May 2018