MaestRo

INRIA

A specification language for control of robots. Compiles to Esterel.

"The MAESTRO Language and its Environment: Specification, Validation and Control of Robotic Missions", E. Coste-Maniere and N. Turro, Proceedings of the 10th IEEE/RSJ International Conference on Intelligent Robots and Systems, Grenoble, 1997.