Stochastic games with lexicographic objectives (Q6632196)
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: Stochastic games with lexicographic objectives |
scientific article; zbMATH DE number 7938228
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Stochastic games with lexicographic objectives |
scientific article; zbMATH DE number 7938228 |
Statements
Stochastic games with lexicographic objectives (English)
0 references
4 November 2024
0 references
probabilistic verification
0 references
stochastic games
0 references
Markov decision process
0 references
multiple objectives
0 references
lexicographic preferences
0 references
reachability
0 references
safety
0 references
omega-regular
0 references
0 references
