Verification-Guided Shielding for Deep Reinforcement Learning

The dataset used in the paper is a set of benchmarks for safe deep reinforcement learning. The benchmarks include Particle World and Mapless Navigation.

Data and Resources

Cite this as

Davide Corsi, Guy Amir, Andoni Rodríguez, César Sánchez, Guy Katz, Roy Fox (2024). Dataset: Verification-Guided Shielding for Deep Reinforcement Learning. https://doi.org/10.57702/k7xyzndy

DOI retrieved: December 16, 2024

Additional Info

Field Value
Created December 16, 2024
Last update December 16, 2024
Defined In https://doi.org/10.48550/arXiv.2406.06507
Author Davide Corsi
More Authors
Guy Amir
Andoni Rodríguez
César Sánchez
Guy Katz
Roy Fox