A containerized ROS-compliant verification environment for robotic systems.

Stefano Aldegheri, Nicola Bombieri, Samuele Germiniani, Federico Moschin, Graziano Pravadelli

Browse the full DATE paper archive.