Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptation. - Gianluca Filippone; Juan Antonio Piñera García; Marco Autili; Patrizio Pelliccione (SEAMS@ICSE, 2024)

Runtime Verification and Field Testing for ROS-Based Robotic Systems. - Ricardo Caldas; Juan Antonio Piñera García; Matei Schiopu; Patrizio Pelliccione; Genaína Nunes Rodrigues; Thorsten Berger (CoRR, 2024)

Runtime Verification and Field-Based Testing for ROS-Based Robotic Systems. - Ricardo Caldas; Juan Antonio Piñera García; Matei Schiopu; Patrizio Pelliccione; Genaína Nunes Rodrigues; Thorsten Berger (IEEE Trans. Software Eng., 2024)