@inproceedings{ Giuseppe98-Monitoring,
  ps = {http://www.cs.toronto.edu/cogrobo/Papers/monitoring.ps}
}
,
  author = {De Giacomo, Giuseppe and Reiter, Ray and Soutchanski, Mikhail}
}
,
  url = {monitoring.pdf}
}
,
  booktitle = {Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98)}
}
,
  title = {Execution Monitoring of High-Level Robot Programs}
}
,
  key = {CogRobo}
}
,
  year = {1998}
}
,
  opturl = {http://www.cs.toronto.edu/cogrobo/Papers/monitoring.ps.gz}
}
,
  pdf = {http://www.cs.toronto.edu/cogrobo/Papers/monitoring.pdf}
}
,
  pages = {453--465}
}