Model checking single agent behaviours by fluid approximation (Q2346412)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Model checking single agent behaviours by fluid approximation
scientific article

    Statements

    Model checking single agent behaviours by fluid approximation (English)
    0 references
    0 references
    0 references
    1 June 2015
    0 references
    stochastic model checking
    0 references
    fluid approximation
    0 references
    mean field approximation
    0 references
    reachability probability
    0 references
    time-inhomogeneous continuous-time Markov chains
    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

    Identifiers