@misc{indiciaeb6d5a7419274,
  title = {Comparison Invariants for Verifying Control Invariance},
  author = {Promit Panja and André Platzer},
  year = {2026},
  url = {https://arxiv.org/abs/2608.24598},
  note = {Source identifier: 2608.24598}
}