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

Angelo Ferrando, Matt Luckcuck, Pedro Ribeiro

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 t…