Multi-Agent Reinforcement Learning with Temporal Logic Specifications

1 February 2021

Papers citing "Multi-Agent Reinforcement Learning with Temporal Logic Specifications"

20 / 20 papers shown

Title
Three Dogmas of Reinforcement Learning David Abel Mark K. Ho Anna Harutyunyan 53 5 0 15 Jul 2024
Logical Specifications-guided Dynamic Task Sampling for Reinforcement Learning Agents Yash Shukla Wenchang Gao Vasanth Sarathy Robert Wright Alvaro Velasquez Jivko Sinapov 26 0 0 06 Feb 2024
Assume-Guarantee Reinforcement Learning Milad Kazemi Mateo Perez Fabio Somenzi Sadegh Soudjani Ashutosh Trivedi Alvaro Velasquez OffRL 30 2 0 15 Dec 2023
LgTS: Dynamic Task Sampling using LLM-generated sub-goals for Reinforcement Learning Agents Yash Shukla Wenchang Gao Vasanth Sarathy Alvaro Velasquez Robert Wright Jivko Sinapov 53 9 0 14 Oct 2023
Multi-Agent Verification and Control with Probabilistic Model Checking David Parker 13 3 0 05 Aug 2023
Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications Jiangwei Wang Shuo Yang Ziyan An Songyang Han Zhili Zhang Rahul Mangharam Meiyi Ma Fei Miao 48 8 0 11 Jun 2023
Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes K. C. Kalagarla D. Kartik Dongming Shen R. Jain A. Nayyar Pierluigi Nuzzo AI4CE 46 1 0 24 May 2023
Standpoint Linear Temporal Logic N. Gigante Lucía Gómez Álvarez Tim S. Lyon LRM 17 3 0 27 Apr 2023
Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey Chao Yu Xuejing Zheng H. Zhuo OffRL LRM 62 8 0 24 Apr 2023
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications Wenliang Liu Kevin J. Leahy Zachary Serlin C. Belta 46 1 0 30 Nov 2022
DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement Learning Systems Joe Eappen Suresh Jagannathan 19 3 0 28 Jun 2022
Specification-Guided Learning of Nash Equilibria with High Social Welfare Kishor Jothimurugan Suguman Bansal Osbert Bastani Rajeev Alur 44 9 0 06 Jun 2022
Distributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping Ningyuan Zhang Wenliang Liu C. Belta 38 2 0 08 Mar 2022
On the Expressivity of Markov Reward David Abel Will Dabney Anna Harutyunyan Mark K. Ho Michael L. Littman Doina Precup Satinder Singh 34 83 0 01 Nov 2021
In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specifications Borja G. Leon Murray Shanahan Francesco Belardinelli AI4CE 31 15 0 18 Oct 2021
Compositional Reinforcement Learning from Logical Specifications Kishor Jothimurugan Suguman Bansal Osbert Bastani Rajeev Alur CoGe 51 78 0 25 Jun 2021
Model-Free Learning of Safe yet Effective Controllers A. Bozkurt Yu Wang Miroslav Pajic OffRL 29 7 0 26 Mar 2021
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning Rodrigo Toro Icarte Toryn Q. Klassen Richard Valenzano Sheila A. McIlraith OffRL 70 217 0 06 Oct 2020
Systematic Generalisation through Task Temporal Logic and Deep Reinforcement Learning Borja G. Leon Murray Shanahan Francesco Belardinelli NAI AI4CE 36 29 0 12 Jun 2020
Certified Reinforcement Learning with Logic Guidance Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 47 54 0 02 Feb 2019