M.: Execution monitoring of high-level robot programs (1998)

by G De Giacomo, R Reiter, Soutchanski
Venue:Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR’98