Execution monitoring of high-level robot programs, in (1998)

by G De Giacomo, R Reiter, M Soutchanski
Venue:Proc. 6th International Conference on the Principles of Knowledge Representation and Reasoning (KR-98