Verifying Online Safety Properties for Safe Deep Reinforcement Learning.
Luca Marzari|Ferdinando Cicalese|Alessandro Farinelli|Christopher Amato|Enrico Marchesini
| Anthology ID: | DBLP:journals/tist/MarzariCFAM26 |
|---|---|
| Year: | 2026 |
| Venue: | ACM Transactions on Intelligent Systems and Technology (TIST) |
| Pages: | 3:1-3:27 |
| URL: | https://doi.org/10.1145/3770068 |
| DOI: | https://doi.org/10.1145/3770068 |
| DBLP: | journals/tist/MarzariCFAM26 |
| BibTeX: |
@article{marzari-2026-verifying,
author = {Luca Marzari and
Ferdinando Cicalese and
Alessandro Farinelli and
Christopher Amato and
Enrico Marchesini},
title = {{Verifying Online Safety Properties for Safe Deep Reinforcement Learning}},
journal = {ACM Transactions on Intelligent Systems and Technology (TIST)},
volume = {17},
number = {1},
pages = {3:1--3:27},
year = {2026},
url = {https://doi.org/10.1145/3770068},
doi = {https://doi.org/10.1145/3770068}
}