Contributor | Assured Autonomy Tools Portal

Assured Autonomy Tools Portal

Continual Assurance of Learning-Enabled, Cyber-Physical Systems (LE-CPS)

Patrick Musau's Publications

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

Verification of Closed-loop Systems with Neural Network Controllers (Benchmark Proposal)

Verification for Machine Learning, Autonomy, and Neural Networks Survey

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

Parallelizable Reachability Analsysis Algorithms for FeedForward Neural Networks

Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control

Star-Based Reachability Analsysis for Deep Neural Networks

NNV: A Tool for Verification of Deep Neural Networks and Learning-Enabled Autonomous Cyber-Physical Systems

Case Study: Safety Verification of an Unmanned Underwater Vehicle

Robustness verification of semantic segmentation neural networks using relaxed reachability