On the use of MTBDDs for performability analysis and verification of stochastic systems. (Q1400289)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the use of MTBDDs for performability analysis and verification of stochastic systems.
scientific article

    Statements

    On the use of MTBDDs for performability analysis and verification of stochastic systems. (English)
    0 references
    0 references
    13 August 2003
    0 references
    0 references
    Binary decision diagrams
    0 references
    Multi-terminal binary decision diagrams
    0 references
    Markov chain
    0 references
    Markov decision process
    0 references
    Performability analysis
    0 references
    Model checking
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references