A matrix-based approach to parity games

DOI10.1007/978-3-031-30823-9_34zbMATH Open1543.68188MaRDI QIDQ6535384FDOQ6535384

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

Publication date: 13 December 2023

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

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)

Cites Work

• Solving parity games in practice
• Borel determinacy
• Title not available (Why is that?)
• Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• Title not available (Why is that?)
• Improving parity games in practice
• Title not available (Why is that?)
• Solving parity games via priority promotion
• Solving Parity Games on the GPU
• Deciding Parity Games in Quasi-polynomial Time

Cited In (5)

• Generalized Parity Games
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)