Reactive Synthesis Swen Jacobs, Martin Zimmermann

News

Bug on problem set 7

Written: 17.01.2018 16:32 Written By: Martin Zimmermann

We just uploaded problem set 7. In comparison to the printed version handed out during the lecture, we fixed a bug in the definition of the second property. Thank you for notifying us!

 

Also, we added a clarification.



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