@misc{indiciae443fe6ef5bd6,
  title = {Execution monitoring for a mobile robot system},
  author = {Miller, David P.},
  year = {1990},
  url = {https://ntrs.nasa.gov/citations/19910035015},
  note = {Source identifier: 19910035015}
}