Author of the publication

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)Compositional Learning and Verification of Neural Network Controllers., , , , , and . ACM Trans. Embed. Comput. Syst., 20 (5s): 92:1-92:26 (2021)Imprecise Bayesian Neural Networks., , , , , , and . CoRR, (2023)A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems., , , , , , , , and . CoRR, (2022)Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults., , , , , and . ACM Trans. Cyber Phys. Syst., 1 (3): 15:1-15:23 (2017)Continuous Estimation Using Context-Dependent Discrete Measurements., , , , , and . IEEE Trans. Autom. Control., 64 (1): 235-250 (2019)Demo: verisig - verifying safety properties of hybrid systems with neural network controllers., , , and . DESTION@CPSIoTWeek, page 62-63. ACM, (2019)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)Sensor attack detection in the presence of transient faults., , , , and . ICCPS, page 1-10. ACM, (2015)