Analysis of Bayesian networks via prob-solvable loops
From MaRDI portal
Publication:2037946
DOI10.1007/978-3-030-64276-1_12OpenAlexW3109436335WikidataQ124212493 ScholiaQ124212493MaRDI QIDQ2037946
Laura Kovács, Ezio Bartocci, Miroslav Stankovič
Publication date: 8 July 2021
Full work available at URL: https://arxiv.org/abs/2007.09450
Related Items (5)
Fine-tuning the odds in Bayesian networks ⋮ The probabilistic termination tool amber ⋮ Solving invariant generation for unsolvable loops ⋮ Automated termination analysis of polynomial probabilistic programs ⋮ Moment-based analysis of Bayesian network properties
This page was built for publication: Analysis of Bayesian networks via prob-solvable loops
