Igor Walukiewicz: notes and slides

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