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

ve Coste-Manire, Nicolas Turro

Browse the full IROS paper archive.