2 citations · 2 across the 1 of their papers we have counts for
1 paper
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…