Games and controller synthesis - Master 2

Lecture slides