Contributor | Assured Autonomy Tools Portal

Assured Autonomy Tools Portal

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

Taylor Johnson'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)

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

Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control