Complete $\ddot{I}‰$-Regular Supermartingale Certificates

Alessandro Abate, Mirco Giacobbe, Sergey Ichtchenko +1

We introduce a general methodology for the construction of sound and complete proof rules for the almost-sure and quantitative acceptance of reactivity properties on time-homogeneo…