Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes (Q5111453)

From MaRDI portal
Revision as of 15:58, 30 December 2024 by Import241228121245 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)





scientific article; zbMATH DE number 7204573
Language Label Description Also known as
English
Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
scientific article; zbMATH DE number 7204573

    Statements

    0 references
    0 references
    0 references
    27 May 2020
    0 references
    Markov decision processes
    0 references
    parity objectives
    0 references
    beyond worst-case synthesis
    0 references
    parity games
    0 references
    cs.LO
    0 references
    cs.AI
    0 references
    cs.FL
    0 references
    cs.GT
    0 references
    math.PR
    0 references
    Threshold constraints with guarantees for parity objectives in markov decision processes (English)
    0 references

    Identifiers