ROSMonitoring: A Runtime Verification Framework for ROS

First Author: Ferrando A
Attributed to:  Future AI and Robotics Hub for Space (FAIR-SPACE) funded by ISCF

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-63486-5_40

Publication URI: http://dx.doi.org/10.1007/978-3-030-63486-5_40

Type: Book Chapter

Book Title: Towards Autonomous Robotic Systems - 21st Annual Conference, TAROS 2020, Nottingham, UK, September 16, 2020, Proceedings (2020)

Page Reference: 387-399