Renato Carvalho, Alcino Cunha, Nuno Macedo, André Santos 0001. Verification of system-wide safety properties of ROS applications. In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020, Las Vegas, NV, USA, October 24, 2020 - January 24, 2021. pages 7249-7254, IEEE, 2020. [doi]
Abstract is missing.