Poll to find eate for exam

Hi everyone,
please note the following two things:
1. I created a poll to find the best day for the oral exam at the end of the semester. Please consult the following [poll](https://dud-poll.inf.tu-dresden.de/bestDayOfTheYear/) to indicate when you have time. We already had some discussions yesterday and I am going to fix the date next week. So if you have any constraints, please use the poll.
2. Some of you missed the lecture this week. Please have a look at the slides and try to understand the definition of labeled transition systems. This will be important. The part with the temporal logic is less important to study, we are going to discuss this in detail next week.
Have a nice weekend.