What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives (Q269509)

From MaRDI portal
scientific article
Language Label Description Also known as
English
What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives
scientific article

    Statements

    What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives (English)
    0 references
    0 references
    0 references
    0 references
    18 April 2016
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Markov decision processes
    0 references
    partially observable Markov decision processes (POMDPs)
    0 references
    \(\omega\)-regular conditions
    0 references
    parity objectives
    0 references
    finite-memory strategies
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references