ROSMonitoring: A Runtime Verification Framework for ROS

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]

Abstract

Abstract is missing.