NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Verifying AI Plan Models: Even the Best Laid Plans Need to be VerifiedThis 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
Document ID
20070023576
Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
External Source(s)
hdl:2014/39980
Authors
Smith, Margaret (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Cucullu, Gordon (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Holzmann, Gerard (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Smith, Benjamin (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Date Acquired
August 23, 2013
Publication Date
July 20, 2004
Subject Category
Cybernetics, Artificial Intelligence And Robotics
Meeting Information
Meeting: 4th Annual NASA OFfice of Safety and Mission Assurance Software Assurance Symposium
Location: Morgantown, WV
Country: United States
Start Date: July 20, 2004
End Date: July 22, 2004
Distribution Limits
Public
Copyright
Other
Keywords
artificial intelligence
testing
verification
model checking

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
No Preview Available