[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.

http://afp.sourceforge.net/entries/Parity_Game.shtml


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.

Tobias

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



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