Demo: verisig - verifying safety properties of hybrid systems with neural network controllers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Radoslav Ivanov' in GoogleThis author has not been identified. Look up 'James Weimer' in GoogleThis author has not been identified. Look up 'Oleg Sokolsky' in GoogleThis author has not been identified. Look up 'Insup Lee' in Google

runs on WebDSL