TY  - RPRT
TI  - Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller
AU  - Radoslav Ivanov
AU  - Taylor J. Carpenter
AU  - James Weimer
AU  - Rajeev Alur
AU  - George J. Pappas
AU  - Insup Lee
PY  - 2019
UR  - https://arxiv.org/abs/1910.11309
ID  - 1910.11309
ER  -