Termination of nondeterministic probabilistic programs
From MaRDI portal
Publication:2287109
DOI10.1007/978-3-030-11245-5_22OpenAlexW2908549554MaRDI QIDQ2287109
Hongfei Fu, Krishnendu Chatterjee
Publication date: 23 January 2020
Full work available at URL: https://doi.org/10.1007/978-3-030-11245-5_22
Related Items
Learning probabilistic termination proofs, Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops, Unnamed Item, Unnamed Item, Inferring expected runtimes of probabilistic integer programs using expected sizes, Computing expected runtimes for constant probability programs