News
08.04.2019
|
Results: End-of-semester ExamDear Students, the results of the end-of-semester exam are now available in the RCMS. The exam inspection will take place on Friday, 12th of April from 10am to 11am in E1.1 R 1.06. Kind Regards, the Automata, Games, and Verification Team |
21.02.2019
|
Time slot shift for the re-examDear Students, The current date and time of the re-exam is set to march 26th, from 2pm to 4pm. However, the time slot collides with another appointment of us, which is why we plan to shift it to an earlier time. Our new proposed time slot for the re-exam will... Read more Dear Students, The current date and time of the re-exam is set to march 26th, from 2pm to 4pm. However, the time slot collides with another appointment of us, which is why we plan to shift it to an earlier time. Our new proposed time slot for the re-exam will be from 10am to 12am, still on march 26th. If this causes a probem for you, please inform us as soon as possible (the latest till the 8th of march). Kind Regards, |
20.02.2019
|
Results: End-of-term ExamDear Students, the results of the end-of-term exam are now available in the RCMS. The exam inspection will take place on Friday, 8th of March from 10am to 11am in E1.1 R 1.06. Kind Regards, the Automata, Games, and Verification Team |
01.02.2019
|
WQ14.2The correct answer for warm-up question 14.2 is that deterministic Muller tree automata are closed under intersection, but not under union or complement. The issue is that the language of {0, 1}-labeled trees that have (at least) one 1-labeled node is not... Read more The correct answer for warm-up question 14.2 is that deterministic Muller tree automata are closed under intersection, but not under union or complement. The issue is that the language of {0, 1}-labeled trees that have (at least) one 1-labeled node is not recognizable by a deterministic Muller tree automaton (see also PS13.2), but its complement is recognizable. |
18.12.2018
|
Bugfix in PS 9.2Dear 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 |
14.12.2018
|
Solutions for WQ9.3/WQ9.4Questions 9.3 and 9.4.1 in today's warm-up questions were a little tricky. Here are the solutions:
First, interpret x as a second-order variable. Then, replace each x in Questions 9.3 and 9.4.1 in today's warm-up questions were a little tricky. Here are the solutions:
First, interpret x as a second-order variable. Then, replace each x in
Have a great weekend, |
06.12.2018
|
St. Nicholas DayThe 6th of December is on its way and we wish you a blessed St. Nicholas Day. And if he thinks you all behaved well, six little stories he may have to tell. Just try to find some in front of your door, or in our case the AGV materials... Read more The 6th of December is on its way and we wish you a blessed St. Nicholas Day. And if he thinks you all behaved well, six little stories he may have to tell. Just try to find some in front of your door, or in our case the AGV materials store.
Wishing you a happy and blessed St. Nicholas Day, the Automata, Games, and Verification Team |
30.11.2018
|
Example for WQ6.6Regarding today's warm-up questions, if you were wondering about an example for a non-counting language that is not Büchi-recognizable (Question 6), here is one: L = { α∈(ab*)ω | α=abn0abn1... such that for all i there is a j>i such that nj>ni }. Regarding today's warm-up questions, if you were wondering about an example for a non-counting language that is not Büchi-recognizable (Question 6), here is one: L = { α∈(ab*)ω | α=abn0abn1... such that for all i there is a j>i such that nj>ni }.
|
22.11.2018
|
Exam DatesDear Students, we determined the dates and times for the exams at the end of the semester as follows: EndTerm: 19.02.2019, 14:00-16:00 (E1 3, HS 002) Re-Exam: 26.03.2019, 14:00-16:00 (E1 3, HS 002) Both exams will be open book, meaning you can bring any... Read more Dear Students, we determined the dates and times for the exams at the end of the semester as follows: EndTerm: 19.02.2019, 14:00-16:00 (E1 3, HS 002) Re-Exam: 26.03.2019, 14:00-16:00 (E1 3, HS 002) Both exams will be open book, meaning you can bring any written or printed material to the exam you want. In case you have any issues with one of the given slotes above, please let us know as soon as possible. Kind Regards, the Automata, Games, and Verification Team |
26.10.2018
|
Public Holiday on November 1stDear Students, next week on Thursday, November 1st, there won't be a Tutorial/Office Hour due to the public holiday "Allerheiligen". The tutorial instead will be held on Friday, November 2nd, from 11:00-13:00 in seminar room 1.06, building E1 1. Kind... Read more Dear Students, next week on Thursday, November 1st, there won't be a Tutorial/Office Hour due to the public holiday "Allerheiligen". The tutorial instead will be held on Friday, November 2nd, from 11:00-13:00 in seminar room 1.06, building E1 1. Kind Regards, The Automata, Games, and Verification Team |
22.10.2018
|
Electronic Submission of Problem Set SolutionsDear 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... Read more 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 |
17.10.2018
|
Group and Discussion Session AssignmentsDear Students, we finished your overall assigments to the discussion slots on Friday. Fortunately, we had ben able to respect all your chosen preferences regarding times and groups. You can find your assigned discussion session slot on your personal page in... Read more Dear Students, we finished your overall assigments to the discussion slots on Friday. Fortunately, we had ben able to respect all your chosen preferences regarding times and groups. You can find your assigned discussion session slot on your personal page in rcms. Everybody who requested to be in the same group should have been assigned the same "Tutorial" number. Note that your group will be identified by this number from now on. If there had been any choices that cause problems for you or your group, please contact us as soon as possible. We then will meet at the discussion sessions on Friday. They are placed in the office rooms of the Reactive Systems chair in E1 1, first floor. The exact room will be determined by an information sheet that will appear at the entrance to the chair on Friday morning. Until then, we wish eveybody a lot of fun with the warm-up questions. We see each other on Friday, the Automata, Games, and Verification Team |
16.10.2018
|
Tell us your team members.We recommend you to participate in the discussion sessions in groups of at most three people. To this end at least one member of the group needs to submit a text file containing the names of all members of the group. Furthermore, also make sure, that all members of... Read more We recommend you to participate in the discussion sessions in groups of at most three people. To this end at least one member of the group needs to submit a text file containing the names of all members of the group. Furthermore, also make sure, that all members of the group have a nonempty intersection with respect to their chosen discussion slot preferences. There is a open submission to upload the group member list. |
16.10.2018
|
Please select your preferred discussion slots till Wednesday 17th, 12:00 |