Patrick Musau

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 25

Top Topics

Reachability Analysis

Artificial Intelligence

Imitation Learning

Top Venues

ARCH@CPSIoTWeek

Publications

Sergiy Bogomolov, Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Paulius Stankaitis
Online Reachability Analysis and Space Convexification for Autonomous Racing. CoRR (2023)
Daniel Williams, Chelece Clark, Rachel McGahan, Bradley Potteiger, Daniel Cohen, Patrick Musau
Discovery of AI/ML Supply Chain Vulnerabilities within Automotive Cyber-Physical Systems. ICAA (2022)
Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston Robinette, Taylor T. Johnson
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles. CoRR (2022)
Nathaniel Hamilton, Patrick Musau, Diego Manzanas Lopez, Taylor T. Johnson
Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning. ICAA (2022)
Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston Robinette, Taylor T. Johnson
On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers. ICAA (2022)
Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson
Reachability Analysis of a General Class of Neural Ordinary Differential Equations. FORMATS (2022)
Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson
Reachability Analysis of a General Class of Neural Ordinary Differential Equations. CoRR (2022)
Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson
Real-Time Verification for Distributed Cyber-Physical Systems. Leibniz Trans. Embed. Syst. 8 (2) (2022)
Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak, Taylor T. Johnson
Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability. CAV (1) (2021)
Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter. Formal Aspects Comput. 33 (4-5) (2021)
Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. CAV (1) (2020)
Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran, Taylor T. Johnson
Case Study: Safety Verification of an Unmanned Underwater Vehicle. SP Workshops (2020)
Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. CoRR (2020)
Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH (2020)
Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov, Taylor T. Johnson
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@CPSIoTWeek (2019)
Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson
Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems. FORTE (2019)
Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson
Real-Time Verification for Distributed Cyber-Physical Systems. CoRR (2019)
Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
Star-Based Reachability Analysis of Deep Neural Networks. FM (2019)
Hoang-Dung Tran, Feiyang Cai, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson, Xenofon D. Koutsoukos
Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
Parallelizable reachability analysis algorithms for feed-forward neural networks. FormaliSE@ICSE (2019)
Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Taylor T. Johnson
Verification of Closed-loop Systems with Neural Network Controllers. ARCH@CPSIoTWeek (2019)
Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran, Taylor T. Johnson
Linear Differential-Algebraic Equations (Benchmark Proposal). ARCH@ADHS (2018)
Patrick Musau, Taylor T. Johnson
Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal). ARCH@ADHS (2018)
Weiming Xiang, Patrick Musau, Ayana A. Wild, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Joel A. Rosenfeld, Taylor T. Johnson
Verification for Machine Learning, Autonomy, and Neural Networks Survey. CoRR (2018)
Weiming Xiang, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson
Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems. CoRR (2018)