@misc{indiciaeefbdae351026,
  title = {Model Checking Artificial Intelligence Based Planners: Even the Best Laid Plans Must Be Verified},
  author = {Smith, Margaret H. and Holzmann, Gerard J. and Cucullu, Gordon C., III and Smith, Benjamin D.},
  year = {2005},
  url = {https://ntrs.nasa.gov/citations/20070034962},
  note = {Source identifier: 20070034962}
}