( en | de | ru )

 

Disambiguierung von "Lopez, Diego Manzanas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter.

, , , , , , , , und . Formal Aspects Comput., 33 (4-5): 519-545 (2021)

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.

Diego López-Gutiérrez

Alexander Diego

Jesús Diego Linares

Margarita López López

Fátima López López Pielow

Metamorfosis y metáfora: mito y discurso en Pedro Calderón de la Barca y Ovidio. Uni Wuppertal, (2008)
 

Weitere Publikationen von Autoren mit dem selben Namen

Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control., , , , , und . ACM Trans. Embed. Comput. Syst., 18 (5s): 105:1-105:22 (2019)ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , , , , und . ARCH@ADHS, Volume 80 von EPiC Series in Computing, Seite 90-119. EasyChair, (2021)Verification of Closed-loop Systems with Neural Network Controllers., , , und . ARCH@CPSIoTWeek, Volume 61 von EPiC Series in Computing, Seite 201-210. EasyChair, (2019)Reachability Analysis of a General Class of Neural Ordinary Differential Equations., , , und . FORMATS, Volume 13465 von Lecture Notes in Computer Science, Seite 258-277. Springer, (2022)NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems., , , , , , , und . CAV (1), Volume 12224 von Lecture Notes in Computer Science, Seite 3-17. Springer, (2020)Parallelizable reachability analysis algorithms for feed-forward neural networks., , , , , , und . FormaliSE@ICSE, Seite 31-40. IEEE / ACM, (2019)Star-Based Reachability Analysis of Deep Neural Networks., , , , , , und . FM, Volume 11800 von Lecture Notes in Computer Science, Seite 670-686. Springer, (2019)Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems., , , und . CoRR, (2018)Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image Classifiers., und . AISoLA, Volume 14380 von Lecture Notes in Computer Science, Seite 331-347. Springer, (2023)Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy., , und . EMSOFT, Seite 1-2. ACM / IEEE, (2023)