Symbolic model checking for factored probabilistic models

DOI10.1007/978-3-319-46520-3_28MaRDI QIDQ1990523zbMATH OpenOpenAlexFDO

Authors David Deininger, Rayna Dimitrova, Rupak Majumdar

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)

Recommendations

• Symbolic model checking for probabilistic processes
• scientific article; zbMATH DE number 2080040
• Bayesian inference by symbolic model checking
• Verification, Model Checking, and Abstract Interpretation
• scientific article; zbMATH DE number 1538049

Cited in

(7)

• Applying Formal Methods: Testing, Performance, and M/E-Commerce
• Model checking finite-horizon Markov chains with probabilistic inference
• Symbolic model checking for probabilistic processes
• Bayesian inference by symbolic model checking
• Automatically finding the right probabilities in Bayesian networks
• Symbolic dependency graphs for \(\mathrm {PCTL}^{>}_{\leq}\) model-checking
• Specification, testing and implementation relations for symbolic-probabilistic systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1990523)