Verification of system-wide safety properties of ROS applications.

Renato Carvalho, Alcino Cunha, Nuno Macedo, Andr Santos

Browse the full IROS paper archive.