This viewgraph presentation reviews work on model checking, and specifically the SPIN model checker. The goal of this work is to retire a significant class of risks associated with the use of Artificial Intelligence (Al) Planners on Missions. This effort must provide tangible testing results to a mission using Al technology. It is hoped that the work should be possible to leverage the technique and tools throughout NASA
Verifying AI Plan Models: Even the Best Laid Plans Need to be Verified
4th Annual NASA OFfice of Safety and Mission Assurance Software Assurance Symposium ; 2004 ; Morgantown, WV, United States
2004-07-20
Aufsatz (Konferenz)
Keine Angabe
Englisch
Model Checking Autonomous Planners: Even the Best Laid Plans Must be Verified
British Library Conference Proceedings | 2005
|The Best Laid Plans of Mice and Men
Springer Verlag | 2013
|When Best Laid Plans Go Astray - Small things cause big problems
Online Contents | 2003