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...

Full description

Bibliographic Details

Published in:	Information and computation Vol. 241; pp. 177 - 196
Main Authors:	Velner, Yaron, Chatterjee, Krishnendu, Doyen, Laurent, Henzinger, Thomas A., Rabinovich, Alexander, Raskin, Jean-François
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.04.2015
ISSN:	0890-5401, 1090-2651
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!