Reachability Games on Extended Vector Addition Systems with States

DOI10.1007/978-3-642-14162-1_40zbMath1288.68179OpenAlexW1596041124MaRDI QIDQ3587462

Tomáš Brázdil, Petr Jančar, Antonín Kučera

Publication date: 7 September 2010

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14162-1_40

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (18)

State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems ⋮ Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time ⋮ Compositional strategy synthesis for stochastic games with multiple objectives ⋮ Weighted Automata on Infinite Words in the Context of Attacker-Defender Games ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On effective construction of the greatest solution of language inequality \(XA\subseteq BX\) ⋮ Maker-breaker percolation games. II: Escaping to infinity ⋮ Strategy synthesis for multi-dimensional quantitative objectives ⋮ On decidability and complexity of low-dimensional robot games ⋮ Weighted automata on infinite words in the context of attacker-defender games ⋮ On the complexity of resource-bounded logics ⋮ Playing with Repetitions in Data Words Using Energy Games ⋮ On Robot Games of Degree Two ⋮ Unnamed Item ⋮ 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: Reachability Games on Extended Vector Addition Systems with States