Validation of Stochastic Systems (Q5325837)

From MaRDI portal
scientific article; zbMATH DE number 5586604
Language Label Description Also known as
English
Validation of Stochastic Systems
scientific article; zbMATH DE number 5586604

    Statements

    Validation of Stochastic Systems (English)
    0 references
    0 references
    0 references
    24 July 2009
    0 references
    PCTL
    0 references
    PCTL\(^{*}\)
    0 references
    discrete-time Markov chains
    0 references
    Markov decision processes
    0 references
    scheduler
    0 references
    fairness
    0 references
    probabilistic deterministic systems
    0 references
    probabilistic nondeterministic systems
    0 references
    quantitative model checking
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references