( 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.

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)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)Linear Differential-Algebraic Equations (Benchmark Proposal)., , , и . ARCH@ADHS, том 54 из EPiC Series in Computing, стр. 174-184. EasyChair, (2018)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)Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal)., и . ARCH@ADHS, том 54 из EPiC Series in Computing, стр. 196-207. EasyChair, (2018)Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems., , , , и . FORTE, том 11535 из Lecture Notes in Computer Science, стр. 261-277. Springer, (2019)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)Parallelizable reachability analysis algorithms for feed-forward neural networks., , , , , , и . FormaliSE@ICSE, стр. 31-40. IEEE / ACM, (2019)