Mean-Payoff Pushdown Games

DOI10.1109/LICS.2012.30zbMath1361.68137OpenAlexW2137477742WikidataQ130966471 ScholiaQ130966471MaRDI QIDQ2986796

Krishnendu Chatterjee, Yaron Velner

Publication date: 16 May 2017

Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/lics.2012.30

zbMATH Keywords

games on graphspushdown automatamean-payoff objectivespushdown games

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Games involving graphs (91A43) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Hyperplane separation technique for multidimensional mean-payoff games ⋮ Graph Games and Reactive Synthesis ⋮ Average-energy games ⋮ Bounding Average-Energy Games ⋮ Average Stack Cost of Büchi Pushdown Automata

This page was built for publication: Mean-Payoff Pushdown Games