Automata, Games, and Verification Bernd Finkbeiner

News

Electronic Submission of Problem Set Solutions

Written: 22.10.2018 16:33 Written By: Felix Klein

Dear Students,

we opened a new submission in rCMS, which you can use to submit your solution to the current problem set, if you prefer to submit solutions in a purly digital fashion. Electronic submissions are accepted either as PDF or TXT. There is, however, no requirement to use this form of submission. You still can submit all your solutions in printed or handwritten form at the beginning of the next lecture. For the upcomming problem sets we will also open similar submissions in the future.

Kind Regards,

the Automata, Games, and Verification Team



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