Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains (Q3400550)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
scientific article

    Statements

    Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    5 February 2010
    0 references
    Markov chains, model checking, truncation, uniformization
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers