Autor der Publikation

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

Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters)., und . ARCH@CPSWeek, Volume 34 von EPiC Series in Computing, Seite 19-24. EasyChair, (2014)Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations., , und . CoRR, (2017)Verification for Machine Learning, Autonomy, and Neural Networks Survey., , , , , , , und . CoRR, (2018)Numerical Verification of Affine Systems with up to a Billion Dimensions., , und . CoRR, (2018)Abnormal Data Classification Using Time-Frequency Temporal Logic., , , , , und . HSCC, Seite 237-242. ACM, (2017)HYST: a source transformation and translation tool for hybrid automaton models., , und . HSCC, Seite 128-133. ACM, (2015)Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS., , , und . ADHS, Volume 51 von IFAC-PapersOnLine, Seite 67-72. Elsevier, (2018)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)Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants., , und . NFM, Volume 10227 von Lecture Notes in Computer Science, Seite 194-211. (2017)Static and Dynamic Analysis of Timed Distributed Traces., , , und . RTSS, Seite 173-182. IEEE Computer Society, (2012)