Quantitative Supermartingale Certificates.

Alessandro Abate, Mirco Giacobbe, Diptarko Roy

Browse the full CAV paper archive.