Author of the publication

Demo: verisig - verifying safety properties of hybrid systems with neural network controllers.

, , , and . DESTION@CPSIoTWeek, page 62-63. ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

RePulmo: a remote pulmonary monitoring system., , , and . SIGBED Review, 16 (2): 46-50 (2019)Imprecise Bayesian Neural Networks., , , , , , and . CoRR, (2023)T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification., , , , and . Principles of Systems Design, volume 13660 of Lecture Notes in Computer Science, page 585-603. Springer, (2022)ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 103-119. EasyChair, (2019)Demo: verisig - verifying safety properties of hybrid systems with neural network controllers., , , and . DESTION@CPSIoTWeek, page 62-63. ACM, (2019)Sensor attack detection in the presence of transient faults., , , , and . ICCPS, page 1-10. ACM, (2015)Verisig: verifying safety properties of hybrid systems with neural network controllers., , , , and . CoRR, (2018)ModelGuard: Runtime Validation of Lipschitz-continuous Models., , , and . ADHS, volume 54 of IFAC-PapersOnLine, page 37-42. Elsevier, (2021)Confidence Composition for Monitors of Verification Assumptions., , , , , , and . ICCPS, page 1-12. IEEE, (2022)Parameter-Invariant Design of Medical Alarms., , , , and . IEEE Des. Test, 32 (5): 9-16 (2015)