Complete ω-Regular Supermartingale Certificates.

Alessandro Abate, Mirco Giacobbe, Sergey Ichtchenko, Diptarko Roy

Browse the full LICS paper archive.