ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics

Maryam Ghaffari Saadat, Angelo Ferrando, Louise Dennis, Michael Fisher

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Fingerprint

Dive into the research topics of 'ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics'. Together they form a unique fingerprint.

Computer Science