Infinite-state energy games

DOI10.1145/2603088.2603100zbMath1401.68139arXiv1405.0628OpenAlexW2059317879MaRDI QIDQ4635588

Piotr Hofman, Mohamed Faouzi Atig, Patrick Totzke, K. Narayan Kumar, Richard Mayr, Parosh Aziz Abdulla

Publication date: 23 April 2018

Published in: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (Search for Journal in Brave)

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

zbMATH Keywords

automata theoryenergy games

Mathematics Subject Classification ID

2-person games (91A05) Games involving graphs (91A43) Formal languages and automata (68Q45)

Related Items (7)

Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time ⋮ Church synthesis on register automata over linearly ordered data domains ⋮ Unnamed Item ⋮ Long-Run Average Behavior of Vector Addition Systems with States ⋮ Unnamed Item ⋮ Optimally Resilient Strategies in Pushdown Safety Games ⋮ Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States

This page was built for publication: Infinite-state energy games