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

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)

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.

Dr. -Ing. Juan Santiago López Bermúdez University of Stuttgart

Rodrigo Lopez Portillo Alcocer University of Stuttgart

Jonathan Hernandez Lopez University of Stuttgart

Diego Bolanos Papenfort University of Stuttgart

Diego Rafael Alba University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

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)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)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)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)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)Verification of Closed-loop Systems with Neural Network Controllers.D. Lopez, P. Musau, H. Tran, und T. Johnson. ARCH@CPSIoTWeek, Volume 61 von EPiC Series in Computing, Seite 201-210. EasyChair, (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)