TY  - RPRT
TI  - Generating Probabilistic Safety Guarantees for Neural Network Controllers
AU  - Sydney M. Katz
AU  - Kyle D. Julian
AU  - Christopher A. Strong
AU  - Mykel J. Kochenderfer
PY  - 2021
DO  - 10.1007/s10994-021-06065-9
UR  - https://arxiv.org/abs/2103.01203
ID  - 2103.01203
ER  -