Matt Luckcuck

Predictive Varanus: Combining CSP Conformance Monitoring with Predictive LTL Runtime Verification

Runtime Verification is well suited to autonomous and robotic systems because it checks the behaviour that is actually observed during execution. Its main limitation, however, is that it is usually reactive: the monitor detects a violation only after the system has already performed a bad event. This can be too late in...