Literatura do wykladu:
Ogolna teoria gier
Gry z warunkiem parzystosci
- Marcin Jurdzinski, praca magisterska
O zlozonosci obliczeniowej gier na grafach, Warszawa 1997.
- Marcin Jurdzinski, Ph.D.Dissertation
Games for Verification: Algorithmic Issues, Aarhus 2002.
- Igor Walukiewicz
Pushdown processes: games and model checking
- Julien Bernet, David Janin and Igor Walukiewicz
Permissive strategies: from parity games to safety games
- Jan Obdrzalek,
Fast mu-calculus Model Checking when Tree-width is Bounded, 2003.
- Andre Arnold, Damian Niwinski,
Rudiments of Mu-calculus, 2001.
- Damian Niwinski,
Mu-calculus via games
Gry topologiczne
Gry losowe
Roznosci