Synthesis with finite automata
A chapter to appear in a handbook
PDF
The mu-calculus and model-checking
with Julian Bradfield, Handbook of Model Checking, 2015-2018
PDF
Slides from
GAMES School, Champery 2013
Slides from
LGL seminar, Bordeaux 2007
Slides from
Dagstuhl meeting 2007
Slides from FSTTCS'05
Slides from LICS'04
Notes from EEF Summer
School'01
Slides and Notes from CLS'97
tutorial
Notes on the Propositional Mu-Calculus: Completeness and
Related Results
Aarhus University, BRICS Notes PDF
Igor Walukiewicz
Last modified: November 2014