Faster algorithms for mean-payoff games (Q537946)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Faster algorithms for mean-payoff games |
scientific article |
Statements
Faster algorithms for mean-payoff games (English)
0 references
23 May 2011
0 references
quantitative models
0 references
(quantitative) model checking
0 references
embedded systems
0 references
synthesis of controllers
0 references
quantitative games
0 references
mean-payoff objectives
0 references
energy constraints
0 references
algorithms \& complexity upper bounds
0 references
0 references
