Termination Analysis of Probabilistic Programs with Martingales

DOI10.1017/9781108770750.008OpenAlexW4249985776MaRDI QIDQ5150951

Krishnendu Chatterjee, Petr Novotný, Hongfei Fu

Publication date: 16 February 2021

Published in: Foundations of Probabilistic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/9781108770750.008

zbMATH Keywords

computer sciencecomputational statisticsstatistics and probabilitymachine learning and information scienceprogramming languages and applied logic

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (3)

Learning probabilistic termination proofs ⋮ The probabilistic termination tool amber ⋮ Inferring expected runtimes of probabilistic integer programs using expected sizes

This page was built for publication: Termination Analysis of Probabilistic Programs with Martingales