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

Safe and stabilizing distributed multi-path cellular flows., und . Theor. Comput. Sci., (2015)Scalable Static Hybridization Methods for Analysis of Nonlinear Systems., , , , und . HSCC, Seite 155-164. ACM, (2016)Abstraction-Based Guided Search for Hybrid Systems., , , , , , , und . SPIN, Volume 7976 von Lecture Notes in Computer Science, Seite 117-134. Springer, (2013)Decoupling Abstractions of Non-linear Ordinary Differential Equations., , und . FM, Volume 9995 von Lecture Notes in Computer Science, Seite 628-644. (2016)Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry., , , , , , und . ICCPS, Seite 340-341. ACM, (2019)Probabilistic Formal Verification of the SATS Concept of Operation., , , , und . NFM, Volume 9690 von Lecture Notes in Computer Science, Seite 191-205. Springer, (2016)ARCH-COMP19 Repeatability Evaluation Report.. ARCH@CPSIoTWeek, Volume 61 von EPiC Series in Computing, Seite 162-169. EasyChair, (2019)A curated corpus of simulink models for model-based empirical studies., , , , und . SEsCPS@ICSE, Seite 45-48. ACM, (2018)Hyperproperties of real-valued signals., , , , und . MEMOCODE, Seite 104-113. ACM, (2017)Model-based design and analysis of a reconfigurable continuous-culture bioreactor., , , , , , und . CyPhy, Seite 48-51. ACM, (2014)