Igor Walukiewicz: notes and slides

The mu-calculus and model-checking
with Julian Bradfield, Handbook of Model Checking, 2015 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