@misc{indiciaeaa72761bf584,
  title = {Visualising CTL Witnesses and Counterexamples -- Extended Version},
  author = {Arend Rensink},
  year = {2026},
  url = {https://arxiv.org/abs/2604.20253},
  note = {Source identifier: 2604.20253}
}