Reactive Synthesis

Schedule

Written on 17.02.2020 14:23 by Swen Jacobs

Dear students,

I have updated the information on the course with a rough schedule. More information will be added in the next days.