ROSMonitoring 2.0 adds service monitoring and publication-order reordering to runtime verification for ROS, demonstrated on a battery-supervisor case study.
https://rsl.ethz.ch/ research/challenges-competitions/mbzirc2020.html
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
ROSMonitoring 2.0 adds service monitoring and publication-order reordering to runtime verification for ROS, demonstrated on a battery-supervisor case study.