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

Bart Wesselink, Koen De Vos, Ivan Kuertev, Michel A. Reniers, Elena Torta. RoboSC: a domain-specific language for supervisory controller synthesis of ROS applications. In IEEE International Conference on Robotics and Automation, ICRA 2023, London, UK, May 29 - June 2, 2023. pages 9090-9096, IEEE, 2023. [doi]

Authors

Bart Wesselink

This author has not been identified. Look up 'Bart Wesselink' in Google

Koen De Vos

This author has not been identified. Look up 'Koen De Vos' in Google

Ivan Kuertev

This author has not been identified. Look up 'Ivan Kuertev' in Google

Michel A. Reniers

This author has not been identified. Look up 'Michel A. Reniers' in Google

Elena Torta

This author has not been identified. Look up 'Elena Torta' in Google