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

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

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, Tennessee, USA. ICAA seeks contributions on all aspects of assurance for AI and autonomy, including safety, security, and privacy in autonomous systems.