Autor der Publikation

Verification of Closed-loop Systems with Neural Network Controllers.

, , , und . ARCH@CPSIoTWeek, Volume 61 von EPiC Series in Computing, Seite 201-210. 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

HYST: a source transformation and translation tool for hybrid automaton models., , und . HSCC, Seite 128-133. ACM, (2015)Abnormal Data Classification Using Time-Frequency Temporal Logic., , , , , und . HSCC, Seite 237-242. ACM, (2017)Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS., , , und . ADHS, Volume 51 von IFAC-PapersOnLine, Seite 67-72. Elsevier, (2018)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)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)Numerical Verification of Affine Systems with up to a Billion Dimensions., , und . CoRR, (2018)Verification for Machine Learning, Autonomy, and Neural Networks Survey., , , , , , , und . CoRR, (2018)Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations., , und . CoRR, (2017)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)Safe and stabilizing distributed multi-path cellular flows., und . Theor. Comput. Sci., (2015)