Assured Autonomy
Abstract
The Assured Autonomy program is developing rigorous design and analysis technologies for continual assurance of learning-enabled autonomous systems to guarantee safety properties in uncertain environments. Currently, the state of the art for test, evaluation, verification and validation is only applicable to non-learning systems operating in well-characterized environments. As a result, autonomous systems enabled by machine learning (e.g., deep neural nets for perception, reinforcement learning for control policies, and online model learning) lack rigorous safety assurance. Assured Autonomy is developing new techniques for modeling and system design, formal verification, simulation-based testing, machine learning, and safety-assured learning to provide continual assurance of learning-enabled autonomous systems. The technologies being developed in Assured Autonomy will enable the DoD to more rapidly and efficiently deploy learning-enabled autonomous systems that can be trusted to operate safely in uncertain environments.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2020
- Source ID
- fee982f70a6c201923dc13dd71d8b98b