@misc{indiciae1d4b227b7c2e,
  title = {A Coalgebraic Dijkstra Algorithm},
  author = {Takahiro Sanada and Yoàv Montacute and Kittiphon Phalakarn and Ichiro Hasuo},
  year = {2026},
  url = {https://arxiv.org/abs/2605.22149},
  note = {Source identifier: 2605.22149}
}