You are viewing this page in an unauthorized frame window.
This is a potential security issue, you are being redirected to https://csrc.nist.gov.
An official website of the United States government
Here’s how you know
Official websites use .gov A
.gov website belongs to an official government
organization in the United States.
Secure .gov websites use HTTPS A
lock (
) or https:// means you’ve safely connected to
the .gov website. Share sensitive information only on official,
secure websites.
Conference presentations on combinatorial methods for assured autonomy
How Can we Provide Assured Autonomy? International Conference on Cyber Security, Jan 8-10, 2024 PDF
Assured Autonomy through Combinatorial Methods, 6th IEEE Conference on Dependable and Secure Computing, November 7-9, 2023. PDF
Combinatorial Coverage for Assured Autonomy. The 1st IEEE International Workshop on Assured Autonomy, Artificial Intelligence and Machine Learning, Charlotte, October 31, 2022 PPT with audio narrationMP4 video
Assured Autonomy - Problems and Solutions, USAF Testing Colloquium, Hill AFB, Nov 16-20, 2021. PDF