Verifiable Reinforcement Learning Systems via Compositionality

Verifiable Reinforcement Learning Systems via Compositionality

9 September 2023

Aryaman Singh Samyal

Christos K. Verginis

Murat Cubuktepe

Ufuk Topcu

Papers citing "Verifiable Reinforcement Learning Systems via Compositionality"

5 / 5 papers shown

Title
SPOTTER: Extending Symbolic Planning Operators through Targeted Reinforcement Learning Vasanth Sarathy Daniel Kasenberg Shivam Goel Jivko Sinapov matthias. scheutz OffRL 29 31 0 24 Dec 2020
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning Rodrigo Toro Icarte Toryn Q. Klassen Richard Valenzano Sheila A. McIlraith OffRL 79 217 0 06 Oct 2020
Reward Machines for Cooperative Multi-Agent Reinforcement Learning Cyrus Neary Zhe Xu Bo Wu Ufuk Topcu 27 44 0 03 Jul 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 37 92 0 12 Sep 2019
Proximal Policy Optimization Algorithms John Schulman Filip Wolski Prafulla Dhariwal Alec Radford Oleg Klimov OffRL 203 18,685 0 20 Jul 2017