( en | de | ru )

 

Disambiguation of "Musau, Patrick"

Author of the publication

copydeleteadd this publication to your clipboard
Star-Based Reachability Analysis of Deep Neural Networks.

, , , , , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Patrick Mwania Musau

Joachim Musäus

Hans Musäus

Joachim Musäus

Paul Muthoka Musau

 

Other publications of authors with the same name

Online Reachability Analysis and Space Convexification for Autonomous Racing., , , , and . FMAS@iFM, volume 395 of EPTCS, page 95-112. (2023)Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability., , , , , , , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 263-286. Springer, (2021)An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles., , , , and . CoRR, (2022)ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 103-119. EasyChair, (2019)Case Study: Safety Verification of an Unmanned Underwater Vehicle., , , , and . SP (Workshops), page 189-195. IEEE, (2020)Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning., , , and . ICAA, page 11-20. IEEE, (2022)ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , , , , and . ARCH, volume 74 of EPiC Series in Computing, page 107-139. EasyChair, (2020)Linear Differential-Algebraic Equations (Benchmark Proposal)., , , and . ARCH@ADHS, volume 54 of EPiC Series in Computing, page 174-184. EasyChair, (2018)On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers., , , , and . ICAA, page 1-10. IEEE, (2022)Discovery of AI/ML Supply Chain Vulnerabilities within Automotive Cyber-Physical Systems., , , , , and . ICAA, page 93-96. IEEE, (2022)