Stochastic invariants for probabilistic termination

From MaRDI portal
Publication:5370852