@misc{indiciae489f97a313a3,
  title = {Sub-Quadratic Bisimulation Metrics via Approximate Nearest Neighbors: Coverage-Augmented Guarantees and Computable Two-Sided Certificates},
  author = {Ibne Farabi Shihab and Joyanta Jyoti Mondal},
  year = {2026},
  url = {https://arxiv.org/abs/2608.06762},
  note = {Source identifier: 2608.06762}
}