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

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

More News
Upcoming Events

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

More Events