( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Star-Based Reachability Analysis of Deep Neural Networks.

, , , , , , и . FM, том 11800 из Lecture Notes in Computer Science, стр. 670-686. Springer, (2019)

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.

Patrick Mwania Musau

Joachim Musäus

Hans Musäus

Paul Muthoka Musau

Joachim Musäus

 

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

Online Reachability Analysis and Space Convexification for Autonomous Racing., , , , и . FMAS@iFM, том 395 из EPTCS, стр. 95-112. (2023)An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles., , , , и . CoRR, (2022)Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability., , , , , , , и . CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 263-286. Springer, (2021)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)ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , , , , и . ARCH, том 74 из EPiC Series in Computing, стр. 107-139. EasyChair, (2020)On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers., , , , и . ICAA, стр. 1-10. IEEE, (2022)Discovery of AI/ML Supply Chain Vulnerabilities within Automotive Cyber-Physical Systems., , , , , и . ICAA, стр. 93-96. IEEE, (2022)Linear Differential-Algebraic Equations (Benchmark Proposal)., , , и . ARCH@ADHS, том 54 из EPiC Series in Computing, стр. 174-184. EasyChair, (2018)