Autor der Publikation

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

, , , , , , und . ARCH@CPSIoTWeek, Volume 61 von EPiC Series in Computing, Seite 103-119. EasyChair, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems., , , , , , und . CoRR, (2020)Using context and robot-human communication to resolve unexpected situational conflicts., und . CogSIMA, Seite 1-7. IEEE, (2017)ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , und . ARCH@CPSIoTWeek, Volume 61 von EPiC Series in Computing, Seite 103-119. EasyChair, (2019)ModelGuard: Runtime Validation of Lipschitz-continuous Models., , , und . ADHS, Volume 54 von IFAC-PapersOnLine, Seite 37-42. Elsevier, (2021)Confidence Composition for Monitors of Verification Assumptions., , , , , , und . ICCPS, Seite 1-12. IEEE, (2022)Cognitively-Inspired Computational Context., und . AAAI Spring Symposia, AAAI Press, (2017)Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning., , , , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 249-262. Springer, (2021)ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , , , , und . ARCH@ADHS, Volume 80 von EPiC Series in Computing, Seite 90-119. EasyChair, (2021)Case study: verifying the safety of an autonomous racing car with a neural network controller., , , , , und . HSCC, Seite 28:1-28:7. ACM, (2020)Real-time detectors for digital and physical adversarial inputs to perception systems., , , , , und . ICCPS, Seite 67-76. ACM, (2021)