Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes (Q5111453)
From MaRDI portal
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
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
