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

arXiv:2609.17625 · cs.RO · Submitted 2026-09-15 · Read on arXiv

cs.RO

Submitted: 2026-09-15

Updated: 2026-09-15

Code: https://github.com/AngeloFerrando/PredictiveVaranus

Terminology

• Trace — 62× in this paper · explained in 2 episodes
• Verification — 31× in this paper · explained in 2 episodes
• Benchmark — 11× in this paper · explained in 2 episodes
• Predictive Runtime Verification — 7× in this paper
• Formal Methods — 3× in this paper · explained in 3 episodes
• Core — 2× in this paper · explained in 2 episodes
• System Under Analysis — 2× in this paper
• Abstraction — 1× in this paper · explained in 1 episode
• Communicating Sequential Processes — 1× in this paper
• Computational overhead — 1× in this paper · explained in 2 episodes
• Labelled-Transition System — 1× in this paper
• PRV of Linear-time Temporal Logic — 1× in this paper
• Temporal Reasoning — 1× in this paper · explained in 2 episodes
• Verifier — 1× in this paper · explained in 2 episodes

Related papers

• FMT x: An Efficient and Asymptotically Optimal Extension of the Fast Marching Tree for Dynamic Replanning
• MPCFormer: A physics-informed data-driven approach for explainable socially-aware autonomous driving
• RoboLab: A High-Fidelity Simulation Benchmark for Analysis of Task Generalist Policies
• HRDexDB: A 4D Dexterous Grasping Dataset Across Human and Multiple Robot Embodiments
• APT: Action Expert Pretraining Improves Instruction Generalization of Vision-Language-Action Policies
• Fine-tuning is Not Enough: A Parallel Framework for Collaborative Imitation and Reinforcement Learning in End-to-end Autonomous Driving