Autor der Publikation

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

, , , , , , , , , , , , und . ARCH, Volume 74 von EPiC Series in Computing, Seite 16-48. EasyChair, (2020)

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

Memory-centric scheduling for multicore hard real-time systems., , , , und . Real Time Syst., 48 (6): 681-715 (2012)Numerical verification of affine systems with up to a billion dimensions., , und . HSCC, Seite 23-32. ACM, (2019)A Comparison of Approaches for Solving Hard Graph-Theoretic Problems., , und . CoRR, (2015)Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets., , , und . IEEE Trans. Autom. Control., 68 (12): 7771-7786 (Dezember 2023)First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)., , , , und . CoRR, (2023)The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results., , , und . CoRR, (2023)Numerical Verification of 10000-dimensional Linear Systems 10000x Faster.. ARCH@ADHS, Volume 54 von EPiC Series in Computing, Seite 135-144. EasyChair, (2018)Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization., , , , und . ADHS, Volume 54 von IFAC-PapersOnLine, Seite 253-258. Elsevier, (2021)Real-Time Reachability for Verified Simplex Design., , , und . RTSS, Seite 138-148. IEEE Computer Society, (2014)Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization., und . RTSS, Seite 195-205. IEEE Computer Society, (2015)