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 software developed in the University of Bonn that provides stable low level control.