On reachability-related games on vector addition systems with states

DOI10.1007/978-3-319-24537-9_6zbMath1471.68166OpenAlexW2400105101MaRDI QIDQ1675147

Petr Jančar

Publication date: 27 October 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-24537-9_6

Mathematics Subject Classification ID

Applications of game theory (91A80) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

On the complexity of resource-bounded logics

This page was built for publication: On reachability-related games on vector addition systems with states