RoboSC: a domain-specific language for supervisory controller synthesis of ROS applications.

Bart Wesselink, Koen de Vos, Ivan Kurtev, Michel A. Reniers, Elena Torta

Browse the full ICRA paper archive.