Reactive Synthesis

Material

Written on 31.03.2020 12:34 by Swen Jacobs

Dear students,

I have updated the material by adding photos of the whiteboard proofs from the first lecture, as well as fixing a typo on the bottom of slide 37 in lecture 3.