Email Gateway (Aug 22 2022 at 11:50): Email Gateway (Aug 22 2022 at 11:50):From: Tobias Nipkow <nipkow@in.tum.de>
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
smime.p7s
Last updated: Apr 19 2024 at 16:20 UTC