You're currently viewing an old version of this dataset. To see the current version, click here.
Verification-Guided Shielding for Deep Reinforcement Learning
Data and Resources
This dataset has no data
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
Private DOI This DOI is not yet resolvable.It is available for use in manuscripts, and will be published when the Dataset is made public.
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 |
|