@article{10.4230/LIPIcs.LICS.2026.3,
  title = "Complete ω-Regular Supermartingale Certificates",
  author = "Alessandro Abate and Mirco Giacobbe and Sergey Ichtchenko and Diptarko Roy",
  year = "2026",
}