Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems.

H. Tran, L. Nguyen, P. Musau, W. Xiang, und T. Johnson. FORTE, Volume 11535 von Lecture Notes in Computer Science, Seite 261-277. Springer, (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.

Patrick Gralka University of Stuttgart

Patrick Maisenhölder University of Stuttgart

Patrick Lerge University of Stuttgart

Patrick Hippold University of Stuttgart

Patrick Mesmer University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal).P. Musau, und T. Johnson. ARCH@ADHS, Volume 54 von EPiC Series in Computing, Seite 196-207. EasyChair, (2018)Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems.H. Tran, L. Nguyen, P. Musau, W. Xiang, und T. Johnson. FORTE, Volume 11535 von Lecture Notes in Computer Science, Seite 261-277. Springer, (2019)Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control.H. Tran, F. Cai, D. Lopez, P. Musau, T. Johnson, und X. Koutsoukos. ACM Trans. Embedded Comput. Syst., 18 (5s): 105:1-105:22 (2019)Real-Time Verification for Distributed Cyber-Physical Systems.H. Tran, L. Nguyen, P. Musau, W. Xiang, und T. Johnson. CoRR, (2019)Linear Differential-Algebraic Equations (Benchmark Proposal).P. Musau, D. Lopez, H. Tran, und T. Johnson. ARCH@ADHS, Volume 54 von EPiC Series in Computing, Seite 174-184. EasyChair, (2018)Verification for Machine Learning, Autonomy, and Neural Networks Survey.W. Xiang, P. Musau, A. Wild, D. Lopez, N. Hamilton, X. Yang, J. Rosenfeld, und T. Johnson. CoRR, (2018)ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.D. Lopez, P. Musau, H. Tran, S. Dutta, T. Carpenter, R. Ivanov, und T. Johnson. ARCH@CPSIoTWeek, Volume 61 von EPiC Series in Computing, Seite 103-119. EasyChair, (2019)Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems.W. Xiang, D. Lopez, P. Musau, und T. Johnson. CoRR, (2018)Star-Based Reachability Analysis of Deep Neural Networks.H. Tran, D. Lopez, P. Musau, X. Yang, L. Nguyen, W. Xiang, und T. Johnson. FM, Volume 11800 von Lecture Notes in Computer Science, Seite 670-686. Springer, (2019)Parallelizable reachability analysis algorithms for feed-forward neural networks.H. Tran, P. Musau, D. Lopez, X. Yang, L. Nguyen, W. Xiang, und T. Johnson. FormaliSE@ICSE, Seite 31-40. IEEE / ACM, (2019)