Z-Reachability Problem for Games on 2-Dimensional Vector Addition Systems with States Is in P

DOI10.1007/978-3-642-15349-5_7zbMath1287.68128OpenAlexW2110396150MaRDI QIDQ3584964

J. Chaloupka

Publication date: 31 August 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15349-5_7

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) 2-person games (91A05) Applications of game theory (91A80) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Energy Games in Multiweighted Automata ⋮ Optimal Bounds for Multiweighted and Parametrised Energy Games ⋮ The complexity of multi-mean-payoff and multi-energy games

This page was built for publication: Z-Reachability Problem for Games on 2-Dimensional Vector Addition Systems with States Is in P