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

    46 Citations (Scopus)
    43 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