A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking

Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Citations (Scopus)

Fingerprint

Dive into the research topics of 'A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking'. Together they form a unique fingerprint.

Engineering & Materials Science