Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee. Demo: verisig - verifying safety properties of hybrid systems with neural network controllers. In Alberto L. Sangiovanni-Vincentelli, Janos Sztipanovits, Qi Zhu 0002, editors, Proceedings of the Workshop on Design Automation for CPS and IoT, DESTION@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019. pages 62-63, ACM, 2019. [doi]
Abstract is missing.