1 citations · 1 across the 2 of their papers we have counts for
4 papers
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles
Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez +2
Recent advances in machine learning technologies and sensing have paved the way for the belief that safe, accessible, and convenient autonomous vehicles may be realized in the near…
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez +5
This paper presents the Neural Network Verification (NNV) software tool, a set-based verification framework for deep neural networks (DNNs) and learning-enabled cyber-physical syst…
Real-Time Verification for Distributed Cyber-Physical Systems
Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau +2
Safety-critical distributed cyber-physical systems (CPSs) have been found in a wide range of applications. Notably, they have displayed a great deal of utility in intelligent trans…
Verification for Machine Learning, Autonomy, and Neural Networks Survey
Weiming Xiang, Patrick Musau, Ayana A. Wild +5
This survey presents an overview of verification techniques for autonomous systems, with a focus on safety-critical autonomous cyber-physical systems (CPS) and subcomponents thereo…