A containerized ROS-compliant verification environment for robotic systems. - Stefano Aldegheri; Nicola Bombieri; Samuele Germiniani; Federico Moschin; Graziano Pravadelli (DATE, 2021)