TY  - RPRT
TI  - Sub-Quadratic Bisimulation Metrics via Approximate Nearest Neighbors: Coverage-Augmented Guarantees and Computable Two-Sided Certificates
AU  - Ibne Farabi Shihab
AU  - Joyanta Jyoti Mondal
PY  - 2026
UR  - https://arxiv.org/abs/2608.06762
ID  - 2608.06762
ER  -