SOURCE-LINKED INTELLIGENCE

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

arXiv · AI, language, vision and robotics · article · Sep 15, 2026 · UTC

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 domains where failures are costly or unsafe. In this paper we present PREDICTIVE VARANUS, a two-stage verification pipeline that combines VARANUS, a runtime verifier that uses models written in the process algebra Communicating Sequential Processes (CSP), with predictive runtime

Read original source ↗ Open in workspace

recordType

paper

region

Global