Positional Determinacy of Parity Games Christoph DittmannWe 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.shtmlThis 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
Description: S/MIME Cryptographic Signature