Automata, Games, and Verification Bernd Finkbeiner

News

Bugfix in PS 9.2

Written: 18.12.2018 16:39 Written By: Felix Klein

Dear Students,

There was a bug on Problem Set 9, Exercise 2 in the semantics definition of t1 < t2. The bug now has been fixed in the current online version.

Kind Regards,

the Automata, Games, and Verification Team



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