Reactive Synthesis Rayna Dimitrova


Problem Set and Project Reminder

Written: 06.01.2023 10:02 Written By: Philippe Heim

Dear students,

The new problem set for lecture 8 is now available in the CMS. Please remember to register your teams for the project (even if you want to work alone) by Monday.


Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators