TY  - RPRT
TI  - Safe Deep Reinforcement Learning by Verifying Task-Level Properties
AU  - Enrico Marchesini
AU  - Luca Marzari
AU  - Alessandro Farinelli
AU  - Christopher Amato
PY  - 2023
UR  - https://arxiv.org/abs/2302.10030
ID  - 2302.10030
ER  -