Threshold constraints with guarantees for parity objectives in Markov decision processes (Q5111453)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Threshold constraints with guarantees for parity objectives in Markov decision processes |
scientific article; zbMATH DE number 7204573
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
Threshold constraints with guarantees for parity objectives in markov decision processes (English)
0 references
0.8231803774833679
0 references
0.8199533820152283
0 references
0.8086633086204529
0 references
0.7893587946891785
0 references
0.7799274325370789
0 references
