Contributor | Assured Autonomy Tools Portal

Assured Autonomy Tools Portal

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

Weiming Xiang's Publications

Specification-Guided Safety Verification for Feedforward Neural Networks

Verification for Machine Learning, Autonomy, and Neural Networks Survey

Reachability Analysis and Safety Verification for Neural Network Control Systems

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

Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations

Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks

Parallelizable Reachability Analsysis Algorithms for FeedForward Neural Networks

Star-Based Reachability Analsysis for Deep Neural Networks

Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems

Verification of Deep Convolutional Neural Networks Using ImageStars