12 citations · 12 across the 1 of their papers we have counts for
1 paper
Ivan Perez, Anastasia Mavridou, Tom Pressburger +2
Runtime verification (RV) has the potential to enable the safe operation of safety-critical systems that are too complex to formally verify, such as Robot Operating System 2 (ROS2)…