Complete ω−Regular Supermartingale Certificates

Alessandro Abate‚ Mirco Giacobbe‚ Sergey Ichtchenko and Diptarko Roy