TY  - RPRT
TI  - Verisig: verifying safety properties of hybrid systems with neural network controllers
AU  - Radoslav Ivanov
AU  - James Weimer
AU  - Rajeev Alur
AU  - George J. Pappas
AU  - Insup Lee
PY  - 2018
UR  - https://arxiv.org/abs/1811.01828
ID  - 1811.01828
ER  -