3 citations · 7 across the 4 of their papers we have counts for
1 paper · 1 filter
Maryam Ghaffari Saadat, Angelo Ferrando, Louise A. Dennis +1
Formal verification of robotic applications presents challenges due to their hybrid nature and distributed architecture. This paper introduces ROSMonitoring 2.0, an extension of RO…