( en | de | ru )

 

Disambiguation of "Musau, Patrick"

Author of the publication

copydeleteadd this publication to your clipboard
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems.

, , , , , , , and . CAV (1), volume 12224 of Lecture Notes in Computer Science, page 3-17. Springer, (2020)

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

Paul Muthoka Musau

Joachim Musäus

 

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)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)Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal)., and . ARCH@ADHS, volume 54 of EPiC Series in Computing, page 196-207. EasyChair, (2018)Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems., , , , and . FORTE, volume 11535 of Lecture Notes in Computer Science, page 261-277. Springer, (2019)Verification of Closed-loop Systems with Neural Network Controllers., , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 201-210. EasyChair, (2019)Reachability Analysis of a General Class of Neural Ordinary Differential Equations., , , and . FORMATS, volume 13465 of Lecture Notes in Computer Science, page 258-277. Springer, (2022)Parallelizable reachability analysis algorithms for feed-forward neural networks., , , , , , and . FormaliSE@ICSE, page 31-40. IEEE / ACM, (2019)