On application of multi-rooted binary decision diagrams to probabilistic model checking

DOI10.1007/978-3-642-27940-9_8MaRDI QIDQ2891405zbMATH OpenOpenAlexFDO

Authors Dmitry Bugaychenko

Publication date 15 June 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-27940-9_8

zbMATH Keywords

binary decision diagramsprobabilistic model checking

Mathematics Subject Classification ID

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

Recommendations

• Application of multiroot decision diagrams for integer functions
• Binary decision diagrams
• scientific article; zbMATH DE number 2102711
• Validation of Stochastic Systems
• scientific article; zbMATH DE number 910726

Cites work

• Application of multiroot decision diagrams for integer functions
• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• Improving the variable ordering of OBDDs is NP-complete
• On application of multi-rooted binary decision diagrams to probabilistic model checking

Cited in

(6)

• Application of multiroot decision diagrams for integer functions
• On application of multi-rooted binary decision diagrams to probabilistic model checking
• scientific article; zbMATH DE number 2102711 (Why is no real title available?)
• Validation of Stochastic Systems
• Computing under-approximations of multivalued decision diagrams
• On iteration in discrete probabilistic programming

Describes a project that uses

Uses Software

• CUDD

This page was built for publication: On application of multi-rooted binary decision diagrams to probabilistic model checking

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