Looking at Mean-Payoff and Total-Payoff through Windows

DOI10.1007/978-3-319-02444-8_10zbMath1415.91065arXiv1302.4248MaRDI QIDQ5166680

Krishnendu Chatterjee, Jean-François Raskin, Mickael Randour, Laurent Doyen

Publication date: 8 July 2014

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1302.4248

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

91A43: Games involving graphs

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)