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

Using Semantic Information for Defining and Detecting OOD Inputs., , , , , , , and . CoRR, (2023)Guaranteed Conformance of Neurosymbolic Models to Natural Constraints., , , and . L4DC, volume 211 of Proceedings of Machine Learning Research, page 76-89. PMLR, (2023)Bridging Dimensions: Confident Reachability for High-Dimensional Controllers., , and . CoRR, (2023)Imprecise Bayesian Neural Networks., , , , , , and . CoRR, (2023)Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates., , , , , , and . CoRL, volume 205 of Proceedings of Machine Learning Research, page 1499-1509. PMLR, (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)Reaching Out Towards Fully Verified Autonomous Systems., , and . RP, volume 11674 of Lecture Notes in Computer Science, page 22-32. Springer, (2019)Sherlock - A tool for verification of neural network feedback systems: demo abstract., , , , and . HSCC, page 262-263. ACM, (2019)Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems., , , , and . VDAT, page 1-6. IEEE, (2016)Memory Classifiers for Robust ECG Classification against Physiological Noise., , , , and . EMBC, page 1-5. IEEE, (2023)