Patrick Musau

According to our database, Patrick Musau authored at least 22 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Online Reachability Analysis and Space Convexification for Autonomous Racing.

Sergiy Bogomolov, Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Paulius Stankaitis

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

2022

Real-Time Verification for Distributed Cyber-Physical Systems.

Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson

Leibniz Trans. Embed. Syst., 2022

An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles.

Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston Robinette, Taylor T. Johnson

CoRR, 2022

Discovery of AI/ML Supply Chain Vulnerabilities within Automotive Cyber-Physical Systems.

Daniel Williams, Chelece Clark, Rachel McGahan, Bradley Potteiger, Daniel Cohen, Patrick Musau

Proceedings of the IEEE International Conference on Assured Autonomy, 2022

On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.

Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston Robinette, Taylor T. Johnson

Proceedings of the IEEE International Conference on Assured Autonomy, 2022

Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning.

Nathaniel Hamilton, Patrick Musau, Diego Manzanas Lopez, Taylor T. Johnson

Proceedings of the IEEE International Conference on Assured Autonomy, 2022

Reachability Analysis of a General Class of Neural Ordinary Differential Equations.

Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

2021

Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter.

Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson

Formal Aspects Comput., 2021

Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability.

Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak, Taylor T. Johnson

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Case Study: Safety Verification of an Unmanned Underwater Vehicle.

Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran, Taylor T. Johnson

Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems.

Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control.

Hoang-Dung Tran, Feiyang Cai, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson, Xenofon D. Koutsoukos

ACM Trans. Embed. Comput. Syst., 2019

Parallelizable reachability analysis algorithms for feed-forward neural networks.

Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems.

Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

Star-Based Reachability Analysis of Deep Neural Networks.

Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Verification of Closed-loop Systems with Neural Network Controllers.

Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Taylor T. Johnson

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov, Taylor T. Johnson

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Verification for Machine Learning, Autonomy, and Neural Networks Survey.

Weiming Xiang, Patrick Musau, Ayana A. Wild, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Joel A. Rosenfeld, Taylor T. Johnson

CoRR, 2018

Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems.

Weiming Xiang, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson

CoRR, 2018

Linear Differential-Algebraic Equations (Benchmark Proposal).

Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran, Taylor T. Johnson

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal).

Patrick Musau, Taylor T. Johnson

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018