A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking
Published in Proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015), 2015
This is joint work with Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, and Lijun Zhang. The published paper is available here.