@misc{indiciaeff7e4238ca30,
  title = {Supermartingale Certificates for Quantitative Omega-regular Verification and Control},
  author = {Thomas A. Henzinger and Kaushik Mallik and Pouya Sadeghi and Đorđe Žikelić},
  year = {2025},
  url = {https://arxiv.org/abs/2505.18833},
  note = {Source identifier: 2505.18833}
}