Supermartingale Certificates for Quantitative Omega-Regular Verification and Control.

Thomas A. Henzinger, Kaushik Mallik, Pouya Sadeghi, Dorde Zikelic

Browse the full CAV paper archive.