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

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
2022 IEEE Conference on Assured Autonomy (ICAA)

The 2022 IEEE Conference on Assured Autonomy (ICAA) will take place from 3/22/2022 - 3/24/2022.