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
3rd International Conference on Assured Autonomy (ICAA ’24)

The 3rd Conference on Assured Autonomy (ICAA'24) will take place from October 10 - 11, 2024 at the Vanderbilt University, Nashville, Ten