ROSMonitoring: a Runtime Verification Framework for ROS (2020)

First Author: Ferrando A

Attributed to: UK Robotics and Artificial Intelligence Hub for Offshore Energy Asset Integrity Management funded by ISCF

No abstract provided

Type: Conference/Paper/Proceeding/Abstract