On Parity Game Preorders and the Logic of Matching Plays

DOI10.1007/978-3-662-49192-8_23zbMath1448.91063OpenAlexW2406025056MaRDI QIDQ2794366

Maciej Gazda, Tim A. C. Willemse

Publication date: 10 March 2016

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

Full work available at URL: http://www.sofsem.cz/sofsem16/files/presentations/Regular/Willemse.pdf

zbMATH Keywords

parity gamesKripke structurespreorders

Mathematics Subject Classification ID

2-person games (91A05) Games involving graphs (91A43) Games on graphs (graph-theoretic aspects) (05C57)

Related Items (2)

Cooking Your Own Parity Game Preorders Through Matching Plays ⋮ Parity game reductions

This page was built for publication: On Parity Game Preorders and the Logic of Matching Plays