TY  - RPRT
TI  - Verifiably Safe Exploration for End-to-End Reinforcement Learning
AU  - Nathan Hunt
AU  - Nathan Fulton
AU  - Sara Magliacane
AU  - Nghia Hoang
AU  - Subhro Das
AU  - Armando Solar-Lezama
PY  - 2020
UR  - https://arxiv.org/abs/2007.01223
ID  - 2007.01223
ER  -