@misc{indiciae5691fab820e3,
  title = {Predictive Varanus: Combining CSP Conformance Monitoring with Predictive LTL Runtime Verification},
  author = {Angelo Ferrando and Matt Luckcuck and Pedro Ribeiro},
  year = {2026},
  url = {https://arxiv.org/abs/2609.17625},
  note = {Source identifier: 2609.17625}
}