Faster algorithms for mean-payoff games (Q537946)
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: Faster algorithms for mean-payoff games |
scientific article; zbMATH DE number 5898957
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Faster algorithms for mean-payoff games |
scientific article; zbMATH DE number 5898957 |
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
