Complete ω-Regular Supermartingale Certificates. - Alessandro Abate; Mirco Giacobbe; Sergey Ichtchenko; Diptarko Roy (CoRR, 2026)