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]
Abstract is missing.