On the use of MTBDDs for performability analysis and verification of stochastic systems

H. Hermanns, Marta Kwiatkowska, Gethin Norman, David Parker, Markus Siegle

    Research output: Contribution to journalArticleAcademic

    45 Citations (Scopus)
    19 Downloads (Pure)

    Fingerprint Dive into the research topics of 'On the use of MTBDDs for performability analysis and verification of stochastic systems'. Together they form a unique fingerprint.

    Mathematics

    Engineering & Materials Science