@misc{indiciae600827288c99,
  title = {A Hierarchy of Supermartingales for \$ω\$-Regular Verification},
  author = {Satoshi Kura and Hiroshi Unno},
  year = {2026},
  url = {https://arxiv.org/abs/2512.00270},
  note = {Source identifier: 2512.00270}
}