A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking.

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

Browse the full SETTA paper archive.