**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