What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives. (Q2958521)

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

    0 references
    0 references
    0 references
    2 February 2017
    0 references
    omega-regular objectives
    0 references
    parity objectives
    0 references
    qualitative analysis
    0 references
    What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives. (English)
    0 references

    Identifiers

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