12 citations · 34 across the 10 of their papers we have counts for
1 paper · 1 filter
Robert Abela, Christian Colombo, Axel Curmi +3
Autonomous and robotic systems are increasingly being trusted with sensitive activities with potentially serious consequences if that trust is broken. Runtime verification techniqu…