@misc{indiciaedb214f005384, title = {Runtime Verification and Field-based Testing for ROS-based Robotic Systems}, author = {Ricardo Caldas and Juan Antonio Pinera Garcia and Matei Schiopu and Patrizio Pelliccione and Genaina Rodrigues and Thorsten Berger}, year = {2024}, doi = {10.1109/tse.2024.3444697}, url = {https://arxiv.org/abs/2404.11498}, note = {Source identifier: 2404.11498} }