NIST · ИТ · 91618c11deceb395898e
Assured Autonomy through Combinatorial Methods
Autonomous systems are proliferating rapidly, with strong interest in everything from vacuum cleaners and lawnmowers, to self-driving cars and autonomous farm equipment. Can these systems be trusted to function safely? Many conventional software
NIST · ИТОфициальный источник · 2024-05-02
{
"title_en": "Assured Autonomy through Combinatorial Methods",
"designation": "",
"series": "",
"status": "",
"date": "2024-05-02",
"date_original": "May 2, 2024",
"url": "https://www.nist.gov/publications/assured-autonomy-through-combinatorial-methods",
"source": "NIST Publications",
"display_en": "",
"authors_en": "David Kuhn , M S Raunak , Raghu Kacker , Jaganmohan Chandrasekaran, Erin Lanus, Tyler Cody, Laura Freeman",
"abstract_excerpt_en": "Autonomous systems are proliferating rapidly, with strong interest in everything from vacuum cleaners and lawnmowers, to self-driving cars and autonomous farm equipment. Can these systems be trusted to function safely? Many conventional software",
"id": "91618c11deceb395898e",
"sources": [
"NIST Publications"
],
"source_records": [
{
"title_en": "Assured Autonomy through Combinatorial Methods",
"designation": "",
"series": "",
"status": "",
"date": "2024-05-02",
"date_original": "May 2, 2024",
"url": "https://www.nist.gov/publications/assured-autonomy-through-combinatorial-methods",
"source": "NIST Publications",
"display_en": "",
"authors_en": "David Kuhn , M S Raunak , Raghu Kacker , Jaganmohan Chandrasekaran, Erin Lanus, Tyler Cody, Laura Freeman",
"abstract_excerpt_en": "Autonomous systems are proliferating rapidly, with strong interest in everything from vacuum cleaners and lawnmowers, to self-driving cars and autonomous farm equipment. Can these systems be trusted to function safely? Many conventional software"
}
],
"translation_state": "none"
}