TY  - RPRT
TI  - Model Checking Artificial Intelligence Based Planners: Even the Best Laid Plans Must Be Verified
AU  - Smith, Margaret H.
AU  - Holzmann, Gerard J.
AU  - Cucullu, Gordon C., III
AU  - Smith, Benjamin D.
PY  - 2005
UR  - https://ntrs.nasa.gov/citations/20070034962
ID  - 20070034962
ER  -