Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains (Q2946750)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains
scientific article

    Statements

    Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains (English)
    0 references
    17 September 2015
    0 references
    Markov chains
    0 references
    Skolem problem
    0 references
    temporal logic
    0 references
    0 references
    0 references
    0 references

    Identifiers

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