Simple stochastic games with almost-sure energy-parity objectives are in NP and conp (Q2233425)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Simple stochastic games with almost-sure energy-parity objectives are in NP and conp |
scientific article |
Statements
Simple stochastic games with almost-sure energy-parity objectives are in NP and conp (English)
0 references
18 October 2021
0 references
simple stochastic games
0 references
parity games
0 references
energy games
0 references