| タイトル | Verifying AI Plan Models: Even the Best Laid Plans Need to be Verified |
| 著者（英） | Holzmann, Gerard; Smith, Benjamin; Smith, Margaret; Cucullu, Gordon |
| 著者所属（英） | Jet Propulsion Lab., California Inst. of Tech. |
| 発行日 | 2004-07-20 |
| 言語 | eng |
| 内容記述 | 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 |
| NASA分類 | Cybernetics, Artificial Intelligence and Robotics |
| 権利 | Copyright |
|
