Assume-Guarantee Reinforcement Learning

15 December 2023

Papers citing "Assume-Guarantee Reinforcement Learning"

3 / 3 papers shown

Title
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification Oliver Schon Shammakh Naseer B. Wooding Sadegh Soudjani 32 1 0 15 Jul 2024
Multi-Agent Reinforcement Learning with Temporal Logic Specifications Lewis Hammond Alessandro Abate Julian Gutierrez Michael Wooldridge AI4CE 40 32 0 01 Feb 2021
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning Abolfazl Lavaei F. Somenzi Sadegh Soudjani Ashutosh Trivedi Majid Zamani 55 52 0 02 Mar 2020