Bayesian inference by symbolic model checking

DOI10.1007/978-3-030-59854-9_9zbMath1483.68204arXiv2007.15071OpenAlexW3109856706MaRDI QIDQ2056985

Bahare Salmani, Joost-Pieter Katoen

Publication date: 8 December 2021

Full work available at URL: https://arxiv.org/abs/2007.15071

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Reasoning under uncertainty in the context of artificial intelligence (68T37) Specification and verification (program logics, model checking, etc.) (68Q60) Probabilistic graphical models (62H22)

Related Items (3)

Model checking finite-horizon Markov chains with probabilistic inference ⋮ Fine-tuning the odds in Bayesian networks ⋮ Gradient-descent for randomized controllers under partial observability

This page was built for publication: Bayesian inference by symbolic model checking