A matrix-based approach to parity games
From MaRDI portal
Publication:6535384
DOI10.1007/978-3-031-30823-9_34zbMath1543.68188MaRDI QIDQ6535384
Julian Gutierrez, Alejandro Stuckey de la Banda, Saksham Aggarwal, Luke Yang
Publication date: 13 December 2023
Analysis of algorithms and problem complexity (68Q25) Games involving graphs (91A43) Applications of game theory (91A80) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: A matrix-based approach to parity games
