Execution Monitoring of High-Level Robot Programs (1998)

by Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski
Venue:In 6th International Conference on Principles of Knowledge Representation and Reasoning