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.

BibTex: