( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability.

, , , , , , , и . CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 263-286. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

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)
 

Другие публикации лиц с тем же именем

ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , , , , и . ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 90-119. EasyChair, (2021)Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems., , , и . CoRR, (2018)Parallelizable reachability analysis algorithms for feed-forward neural networks., , , , , , и . FormaliSE@ICSE, стр. 31-40. IEEE / ACM, (2019)Star-Based Reachability Analysis of Deep Neural Networks., , , , , , и . FM, том 11800 из Lecture Notes in Computer Science, стр. 670-686. Springer, (2019)NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems., , , , , , , и . CAV (1), том 12224 из Lecture Notes in Computer Science, стр. 3-17. Springer, (2020)Verification of Closed-loop Systems with Neural Network Controllers., , , и . ARCH@CPSIoTWeek, том 61 из EPiC Series in Computing, стр. 201-210. EasyChair, (2019)Reachability Analysis of a General Class of Neural Ordinary Differential Equations., , , и . FORMATS, том 13465 из Lecture Notes in Computer Science, стр. 258-277. Springer, (2022)Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning., , , и . ICAA, стр. 11-20. IEEE, (2022)ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , и . ARCH@CPSIoTWeek, том 61 из EPiC Series in Computing, стр. 103-119. EasyChair, (2019)Case Study: Safety Verification of an Unmanned Underwater Vehicle., , , , и . SP (Workshops), стр. 189-195. IEEE, (2020)