Reactive Synthesis Swen Jacobs, Martin Zimmermann


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