Execution Monitoring of High-Level Temporal Programs.
Full version of the paper
Accepted by the program committees of the IJCAI-99 Workshop "
Robot Action Planning
" (31 July 1999, Stockholm) and of the IJCAI-99 Workshop "
Scheduling and Planning meet Real-time Monitoring in a Dynamic and Uncertain World
" (August 2, 1999, Stockholm).
My implemenation relies on
developed in the University of Bonn that provides stable low level control.