Skip to main content
U.S. flag

An official website of the United States government

Challenges of Assured Autonomy

Published

Author(s)

D. Richard Kuhn

Abstract

This article summarizes some recent novel approaches to the problem of verification, testing, and assurance of autonomous systems. These include proxy verification and combinatorial methods for input space coverage measurement, which also has applications to explainable artificial intelligence. The ideas are evolving rapidly and likely to lead to interesting advances in reliability engineering.
Citation
IEEE Transactions on Reliability
Volume
73
Issue
1

Keywords

Autonomous systems , explainable artificial intelligence , testing , verification

Citation

Kuhn, D. (2024), Challenges of Assured Autonomy, IEEE Transactions on Reliability, [online], https://doi.org/10.1109/TR.2024.3366814, https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=956603 (Accessed March 14, 2025)

Issues

If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.

Created February 28, 2024, Updated August 21, 2024