Cite Us!

@misc{caldas2024guidelines,
      title={Runtime Verification and Field Testing for ROS-Based Robotic Systems}, 
      author={Ricardo Caldas and Juan Antonio Piñera García and Matei Schiopu and Patrizio Pelliccione and Genaína Rodrigues and Thorsten Berger},
      year={2024},
      eprint={2404.11498},
      archivePrefix={arXiv},
      primaryClass={cs.SE}
}
                        

Caldas, R., García, J. A. P., Schiopu, M., Pelliccione, P., Rodrigues, G., & Berger, T. (2024). Runtime Verification and Field Testing for ROS-Based Robotic Systems. arXiv preprint arXiv:2404.11498.