NIST · ИТ · 3d14c180995f800bdc1b
Challenges of Assured Autonomy
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
NIST · ИТОфициальный источник · 2024-02-28
{
"title_en": "Challenges of Assured Autonomy",
"designation": "",
"series": "",
"status": "",
"date": "2024-02-28",
"date_original": "February 28, 2024",
"url": "https://www.nist.gov/publications/challenges-assured-autonomy",
"source": "NIST Publications",
"display_en": "",
"authors_en": "D. Richard Kuhn",
"abstract_excerpt_en": "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",
"id": "3d14c180995f800bdc1b",
"sources": [
"NIST Publications"
],
"source_records": [
{
"title_en": "Challenges of Assured Autonomy",
"designation": "",
"series": "",
"status": "",
"date": "2024-02-28",
"date_original": "February 28, 2024",
"url": "https://www.nist.gov/publications/challenges-assured-autonomy",
"source": "NIST Publications",
"display_en": "",
"authors_en": "D. Richard Kuhn",
"abstract_excerpt_en": "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"
}
],
"translation_state": "none",
"possible_title_matches": 1
}