Symbolic model checking for factored probabilistic models

DOI10.1007/978-3-319-46520-3_28zbMath1398.68338OpenAlexW2522775503MaRDI QIDQ1990523

Rayna Dimitrova, Rupak Majumdar, David Deininger

Publication date: 25 October 2018

Full work available at URL: http://hdl.handle.net/2381/42338

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Model checking finite-horizon Markov chains with probabilistic inference ⋮ Applying Formal Methods: Testing, Performance, and M/E-Commerce ⋮ Automatically finding the right probabilities in Bayesian networks

This page was built for publication: Symbolic model checking for factored probabilistic models