70-01, Martingale-based Methods for Formal Verification and Certified Control of Stochastic Systems

From Viktor Kuncak