TY  - RPRT
TI  - Runtime Verification and Field-based Testing for ROS-based Robotic Systems
AU  - Ricardo Caldas
AU  - Juan Antonio Pinera Garcia
AU  - Matei Schiopu
AU  - Patrizio Pelliccione
AU  - Genaina Rodrigues
AU  - Thorsten Berger
PY  - 2024
DO  - 10.1109/tse.2024.3444697
UR  - https://arxiv.org/abs/2404.11498
ID  - 2404.11498
ER  -