Value Functions as Supermartingale Certificates

Alessandro Abate, Daniel Contro, Mirco Giacobbe +2

Certification methods for stochastic systems provide sufficient proof rules, based on real-valued supermartingale certificates, to determine the almost-sure satisfaction of $\ddot{I}‰$-re…