4 citations · 17 across the 19 of their papers we have counts for
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…