The MAESTRO language and its environment: specification, validation and control of robotic missions

This publication has 6 references indexed in Scilit:

• Simulation of multiprocessor robot controllers
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Planning as incremental adaptation of a reactive system
  Robotics and Autonomous Systems, 1995
• Synchronous Programming of Reactive Systems
  Published by Springer Nature ,1993
• The ESTEREL language
  Proceedings of the IEEE, 1991
• Centaur: the system
  Published by Association for Computing Machinery (ACM) ,1988
• On the Development of Reactive Systems
  Published by Springer Nature ,1985