Recurrence and Transience for Probabilistic Automata. (Q2920147)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Recurrence and Transience for Probabilistic Automata.
scientific article

    Statements

    0 references
    0 references
    0 references
    24 October 2012
    0 references
    0 references
    0 references
    0 references
    0 references
    Markov chains
    0 references
    probabilistic automata
    0 references
    Büchi automata
    0 references
    recurrence
    0 references
    omega-regular properties
    0 references
    0 references
    Recurrence and Transience for Probabilistic Automata. (English)
    0 references