( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles.

, , , , и . CoRR, (2022)

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)
 

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

Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control., , , , , и . 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., , , , , , , , , и . ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 90-119. EasyChair, (2021)Reachability Analysis of a General Class of Neural Ordinary Differential Equations., , , и . FORMATS, том 13465 из Lecture Notes in Computer Science, стр. 258-277. Springer, (2022)Verification of Closed-loop Systems with Neural Network Controllers., , , и . ARCH@CPSIoTWeek, том 61 из EPiC Series in Computing, стр. 201-210. EasyChair, (2019)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)Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems., , , и . CoRR, (2018)Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image Classifiers., и . AISoLA, том 14380 из Lecture Notes in Computer Science, стр. 331-347. Springer, (2023)Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy., , и . EMSOFT, стр. 1-2. ACM / IEEE, (2023)