Assured Autonomy Tools Portal
Continual Assurance of Learning-Enabled, Cyber-Physical Systems (LE-CPS)

The Assured Autonomy portal hosts Design Studios and Toolchains for experimenting with Learning-enabled Cyber Physical Systems. The capabilities of the design studios include training AI algorithms, data generation for training, developing scenarios for evaluation of AI algorithms, generating test-cases, formally verifying, and generating assurance arguments and cases for safety assurance. The design studios and portal is community accessible, provides capabilities for developers of AI-based systems, as well as provides open interfaces for researchers and developers of AI V&V tools to integrate tools into the design studios.

Recent News
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results

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

Upcoming Events
2023 IEEE International Conference on Assured Autonomy (ICAA)

Important Dates

● Paper submission deadline: 2/13/2023 3/6/2023 (Anywhere on Earth)
● Acceptance notification: 3/13/2023 3/27/2023
● Publication-ready Papers Due: 4/10/2023