Reachability Games on Extended Vector Addition Systems with States
From MaRDI portal
Publication:3587462
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
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