Patrick Musau

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