Angelo Ferrando, Rafael C. Cardoso, Michael Fisher 0001, Davide Ancona, Luca Franceschini, Viviana Mascardi. ROSMonitoring: A Runtime Verification Framework for ROS. In Abdelkhalick Mohammad, Xin Dong 0011, Matteo Russo, editors, Towards Autonomous Robotic Systems - 21st Annual Conference, TAROS 2020, Nottingham, UK, September 16, 2020, Proceedings. Volume 12228 of Lecture Notes in Computer Science, pages 387-399, Springer, 2020. [doi]
@inproceedings{FerrandoC0AFM20,
title = {ROSMonitoring: A Runtime Verification Framework for ROS},
author = {Angelo Ferrando and Rafael C. Cardoso and Michael Fisher 0001 and Davide Ancona and Luca Franceschini and Viviana Mascardi},
year = {2020},
doi = {10.1007/978-3-030-63486-5_40},
url = {https://doi.org/10.1007/978-3-030-63486-5_40},
researchr = {https://researchr.org/publication/FerrandoC0AFM20},
cites = {0},
citedby = {0},
pages = {387-399},
booktitle = {Towards Autonomous Robotic Systems - 21st Annual Conference, TAROS 2020, Nottingham, UK, September 16, 2020, Proceedings},
editor = {Abdelkhalick Mohammad and Xin Dong 0011 and Matteo Russo},
volume = {12228},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-63486-5},
}