Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes (Q5111453): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Set OpenAlex properties.
 
(5 intermediate revisions by 3 users not shown)
label / enlabel / en
 
Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
Property / author
 
Property / author: Jean-François Raskin / rank
Normal rank
 
Property / author
 
Property / author: Jean-François Raskin / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / arXiv classification
 
cs.LO
Property / arXiv classification: cs.LO / rank
 
Normal rank
Property / arXiv classification
 
cs.AI
Property / arXiv classification: cs.AI / rank
 
Normal rank
Property / arXiv classification
 
cs.FL
Property / arXiv classification: cs.FL / rank
 
Normal rank
Property / arXiv classification
 
cs.GT
Property / arXiv classification: cs.GT / rank
 
Normal rank
Property / arXiv classification
 
math.PR
Property / arXiv classification: math.PR / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1702.05472 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2963046256 / rank
 
Normal rank
Property / title
 
Threshold constraints with guarantees for parity objectives in markov decision processes (English)
Property / title: Threshold constraints with guarantees for parity objectives in markov decision processes (English) / rank
 
Normal rank

Latest revision as of 10:36, 30 July 2024

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