1 paper · 1 filter
Mirco Giacobbe, Thomas A. Henzinger, Konstantin Kueffner +2
Supermartingale certificates formally guarantee temporal properties of discrete and continuous-time stochastic dynamical systems. However, these guarantees rely on a mathematical m…