Author of the publication

ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

, , , , , , , , , and . ARCH@ADHS, volume 80 of EPiC Series in Computing, page 90-119. EasyChair, (2021)

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

Lumos: An Open-Source Device for Wearable Spectroscopy Research., , , , and . Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 6 (4): 187:1-187:24 (2022)Confidence Calibration with Bounded Error Using Transformations., , , and . CoRR, (2021)Memory-Consistent Neural Networks for Imitation Learning., , , , and . CoRR, (2023)VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems., , , , , , and . CoRR, (2020)Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices., , , , , , , , , and . CoRR, (2022)Parameter-Invariant Monitor Design for Cyber-Physical Systems., , , , , and . Proc. IEEE, 106 (1): 71-92 (2018)Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study., , , and . J. Comput. Sci. Eng., (2016)Distributed detection and isolation of topology attacks in power networks., , and . HiCoNS, page 65-72. ACM, (2012)Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation., , , and . AISTATS, volume 108 of Proceedings of Machine Learning Research, page 3219-3229. PMLR, (2020)Towards Assurance Cases for Resilient Control Systems., , , and . CPSNA, page 1-6. IEEE Computer Society, (2014)