Skip to main content
Assured Autonomy Tools Portal
Continual Assurance of Learning-Enabled, Cyber-Physical Systems (LE-CPS)
CALL FOR PAPERS: 3rd International Conference on Assured Autonomy (ICAA ’24)
Submitted by Amy Karns on

The International Conference on Assured Autonomy (ICAA) plans to address the gap that exists between theory-heavy artificially intelligent autonomous systems and the pr

The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results
Submitted by Yogesh Barve on

This report summarizes the second International Verification of Neural Networks Competition (VNN-COMP 2021), held as a part of the 4th Workshop on Formal Methods for ML-Enabled Autonomous Systems that was collocated with the 33rd International Conferen

Assured Autonomy - Phase 2 Demonstration Workshop
Submitted by Matthew Warner on

Held January 25-27, 2021