Deductive Verification of Infinite-State Stochastic Systems using Martingales

Chakarov, Aleksandar Nevenov.   University of Colorado at Boulder ProQuest Dissertations Publishing,  2016. 10151160.