%0 Conference Paper %1 conf/cpsweek/IvanovWSL19 %A Ivanov, Radoslav %A Weimer, James %A Sokolsky, Oleg %A Lee, Insup %B DESTION@CPSIoTWeek %D 2019 %E Sangiovanni-Vincentelli, Alberto L. %E Sztipanovits, Janos %E Zhu, Qi %I ACM %K dblp %P 62-63 %T Demo: verisig - verifying safety properties of hybrid systems with neural network controllers. %U http://dblp.uni-trier.de/db/conf/cpsweek/destion2019.html#IvanovWSL19 %@ 978-1-4503-6699-1

@inproceedings{conf/cpsweek/IvanovWSL19, added-at = {2023-01-26T00:00:00.000+0100}, author = {Ivanov, Radoslav and Weimer, James and Sokolsky, Oleg and Lee, Insup}, biburl = {https://www.bibsonomy.org/bibtex/23438c7f470b7dd1205b6a10c1c4bbf86/dblp}, booktitle = {DESTION@CPSIoTWeek}, crossref = {conf/cpsweek/2019destion}, editor = {Sangiovanni-Vincentelli, Alberto L. and Sztipanovits, Janos and Zhu, Qi}, ee = {https://doi.org/10.1145/3313151.3313164}, interhash = {64755544cb999879f19d6b5b1f34525b}, intrahash = {3438c7f470b7dd1205b6a10c1c4bbf86}, isbn = {978-1-4503-6699-1}, keywords = {dblp}, pages = {62-63}, publisher = {ACM}, timestamp = {2024-04-10T03:24:44.000+0200}, title = {Demo: verisig - verifying safety properties of hybrid systems with neural network controllers.}, url = {http://dblp.uni-trier.de/db/conf/cpsweek/destion2019.html#IvanovWSL19}, year = 2019 }