The complexity of multi-mean-payoff and multi-energy games

In mean-payoff games, the objective of the protagonist is to ensure that the limit average of an infinite sequence of numeric weights is nonnegative. In energy games, the objective is to ensure that the running sum of weights is always nonnegative. Multi-mean-payoff and multi-energy games replace in...

Celý popis

Podrobná bibliografie

Vydáno v:	Information and computation Ročník 241; s. 177 - 196
Hlavní autoři:	Velner, Yaron, Chatterjee, Krishnendu, Doyen, Laurent, Henzinger, Thomas A., Rabinovich, Alexander, Raskin, Jean-François
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.04.2015
ISSN:	0890-5401, 1090-2651
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!