Autor der Publikation

PerceMon: Online Monitoring for Perception Systems.

, , , , und . RV, Volume 12974 von Lecture Notes in Computer Science, Seite 297-308. Springer, (2021)

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

Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper., , , und . ICCAD, Seite 1-7. ACM, (2019)Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions., , , , , und . IROS, Seite 5794-5800. IEEE, (2021)Reachability Analysis of Convolutional Neural Networks., , , , , und . CoRR, (2021)Risk-bounded Control using Stochastic Barrier Functions., , , , , und . ACC, Seite 1131-1136. IEEE, (2021)EyeHacker: gaze-based automatic reality manipulation., , , , , und . SIGGRAPH Emerging Technologies, Seite 12:1-12:2. ACM, (2019)Runtime Assurance for Autonomous Driving with Neural Reachability., , , und . ITSC, Seite 2634-2641. IEEE, (2022)Real-time Rendering of Layered Materials with Anisotropic Normal Distributions., , , und . SIGGRAPH Asia Technical Briefs, Seite 87-90. ACM, (2019)Falsification of Cyber-Physical Systems with Constrained Signal Spaces., , , , , und . NFM, Volume 12229 von Lecture Notes in Computer Science, Seite 420-439. Springer, (2020)Verification of Recurrent Neural Networks with Star Reachability., , , , , und . HSCC, Seite 6:1-6:13. ACM, (2023)Specification-guided Software Fault Localization for Autonomous Mobile Systems., , , und . MEMOCODE, Seite 1-12. IEEE, (2020)