[isabelle] New AFP article: Positional Determinacy of Parity Games

Positional Determinacy of Parity Games
Christoph Dittmann

We present a formalization of parity games (a two-player game on directed graphs) and a proof of their positional determinacy in Isabelle/HOL. This proof works for both finite and infinite games.


This is a fundamental article that gave rise to the new category Computer Science / Games. We look forward to more articles from this rich field!

Thank you Christoph.


Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.