Article thumbnail
Location of Repository

Verifying AI Plan Models: Even the Best Laid Plans Need to be Verified

By Gerard Holzmann, Benjamin Smith, Margaret Smith and Gordon Cucullu


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 NAS

Topics: Cybernetics, Artificial Intelligence and Robotics
Year: 2004
OAI identifier:
Sorry, our data provider has not provided any external links therefore we are unable to provide a link to the full text.

Suggested articles

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.