A matrix-based approach to parity games

DOI10.1007/978-3-031-30823-9_34MaRDI QIDQ6535384zbMATH OpenFDO

Authors Saksham Aggarwal, Alejandro Stuckey de la Banda, L.-K. Yang, Julian Gutiérrez

Publication date 13 December 2023

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

parallel computingformal verificationparity games

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Applications of game theory (91A80) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Games involving graphs (91A43)

Recommendations

• Solving parity games in practice
• Solving parity games on integer vectors
• A brief excursion to parity games
• The combinatorial theory of matrix games
• Some matrix techniques in game theory
• Matrix approach to game theory
• Generalized Parity Games
• scientific article; zbMATH DE number 724209
• scientific article; zbMATH DE number 1496243
• The fixpoint-iteration algorithm for parity games

Cites work

• scientific article; zbMATH DE number 7471697 (Why is no real title available?)
• scientific article; zbMATH DE number 7088727 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Borel determinacy
• Deciding Parity Games in Quasi-polynomial Time
• Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
• Improving parity games in practice
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• Solving Parity Games on the GPU
• Solving parity games in practice
• Solving parity games via priority promotion

Cited in

(5)

• Generalized Parity Games
• scientific article; zbMATH DE number 7356850 (Why is no real title available?)
• scientific article; zbMATH DE number 6374006 (Why is no real title available?)
• scientific article; zbMATH DE number 7533361 (Why is no real title available?)
• scientific article; zbMATH DE number 1842048 (Why is no real title available?)

This page was built for publication: A matrix-based approach to parity games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535384)