Correction for Ex4 Q3 | |
Hi all, As pointed out to me on Piazza, for Q3 you might need to assume that Player 0 has a memoryless winning strategy from the winning region. It's not completely necessary to assume, but it helps with the proof. Note that Player 1 strategies might not be memoryless. |
פורסם ב-26/8/2024, 15:17:32 Created on 26/8/2024, 15:17:32 Создано26/8/2024, 15:17:32 تم النشر ب-26/8/2024, 15:17:32 |
Reception hour today (and until Moed A) | |
Hi all, Unfortunately I won't be able to make my reception hour today physically. If you planned on coming, please email me and we can meet on Zoom. In general, if you plan to come to the reception hour between today and Moed A, please email me in advance. |
פורסם ב-19/8/2024, 08:43:40 Created on 19/8/2024, 08:43:40 Создано19/8/2024, 08:43:40 تم النشر ب-19/8/2024, 08:43:40 |
Recording of last two lectures | |
Hi all, Here are links to the recordings of the last two lectures, in case they are useful to you. https://panoptotech.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=188df223-6284-42e0-a005-b1c900a030f3 https://panoptotech.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=c2cc11d9-5b50-4734-90d3-b1d000941e26 Shaull |
פורסם ב-18/8/2024, 21:21:55 Created on 18/8/2024, 21:21:55 Создано18/8/2024, 21:21:55 تم النشر ب-18/8/2024, 21:21:55 |
Ex3 Solution, Grades and Feedback | |
Hi all, Ex3 has been marked. Please read the feedback carefully. The solution is also online, I remind you that reading the solutions is part of the course requirements. Feel free to ask questions in the Piazza/email if something is unclear. |
פורסם ב-11/8/2024, 14:05:14 Created on 11/8/2024, 14:05:14 Создано11/8/2024, 14:05:14 تم النشر ب-11/8/2024, 14:05:14 |
Ex4 is online | |
Note that the official deadline is 25.8, but if you want you can submit by 1.9. There won't be further extensions, though, due to the proximity with the exam. |
פורסם ב-11/8/2024, 13:41:00 Created on 11/8/2024, 13:41:00 Создано11/8/2024, 13:41:00 تم النشر ب-11/8/2024, 13:41:00 |
Ex3 is online | |
Hi all, Ex3 is online, due on 8.8.2024. We have not yet seen the proof of Buchi's theorem (second direction), but for the purpose of Questions 5+6 you can use the following facts: 1. There is a translation from S1S to Buchi automata that is computable. 2. S1S is decidable (i.e., deciding if a formula is satisfiable, or if a sentence evaluates to true). Notes (see also on the exercise tab): - You may submit in *pairs* or in *singles*. - Solutions must be typed. If you have any questions, please use the Piazza forum. |
פורסם ב-28/7/2024, 14:25:48 Created on 28/7/2024, 14:25:48 Создано28/7/2024, 14:25:48 تم النشر ب-28/7/2024, 14:25:48 |
Ex2 Solution, Grades and Feedback | |
Hi all, Ex2 has been marked. Please read the feedback carefully. The solution is also online, I remind you that reading the solutions is part of the course requirements. Feel free to ask questions in the Piazza/email if something is unclear. |
פורסם ב-20/7/2024, 13:03:05 Created on 20/7/2024, 13:03:05 Создано20/7/2024, 13:03:05 تم النشر ب-20/7/2024, 13:03:05 |
Updated lecture notes (Safra's index) | |
Hi all, Last lecture I struggled a bit with showing that the index of Safra's construction is indeed n. Turns out that this is not as simple as I thought (in fact, Safra's original paper doesn't say how to obtain this, only 2n). It's indeed possible, but complicated. I updated the notes to mention what the problem is, but not what the exact solution is. |
פורסם ב-11/7/2024, 10:32:08 Created on 11/7/2024, 10:32:08 Создано11/7/2024, 10:32:08 تم النشر ب-11/7/2024, 10:32:08 |
Makeup Lecture Recording | |
Hi all, The lecture recording is online. Note that only ~75% of the whiteboard was visible, so some parts are outside the frame. However, the notes match whatever I drew, so it should be enough to follow. If you still have questions, feel free to ask on Piazza or to schedule a meeting with me. |
פורסם ב-9/7/2024, 16:18:00 Created on 9/7/2024, 16:18:00 Создано9/7/2024, 16:18:00 تم النشر ب-9/7/2024, 16:18:00 |
Reminder: makeup lecture today at 12:30 | |
Makeup lecture today at **12:30 in Taub 9**. |
פורסם ב-9/7/2024, 08:54:46 Created on 9/7/2024, 08:54:46 Создано9/7/2024, 08:54:46 تم النشر ب-9/7/2024, 08:54:46 |
Ex2 is online | |
Hi all, Ex2 is online, due on 17.7.2024. Notes (see also on the exercise tab): - You may submit in *pairs* or in *singles*. - Solutions must be typed. If you have any questions, please use the Piazza forum. |
פורסם ב-7/7/2024, 21:09:50 Created on 7/7/2024, 21:09:50 Создано7/7/2024, 21:09:50 تم النشر ب-7/7/2024, 21:09:50 |
Makeup Lecture Date & Location | |
Hi all, The makeup lecture will take place on: ***Tuesday, 9.7.2024, at 12:30 in Taub 9*** See you. |
פורסם ב-1/7/2024, 14:37:52 Created on 1/7/2024, 14:37:52 Создано1/7/2024, 14:37:52 تم النشر ب-1/7/2024, 14:37:52 |
Reminder: today's lecture is in Taub 8 | |
Title says it all. Today's lecture is in Taub 8. |
פורסם ב-30/6/2024, 08:56:50 Created on 30/6/2024, 08:56:50 Создано30/6/2024, 08:56:50 تم النشر ب-30/6/2024, 08:56:50 |
Ex1 Solution, Grades and Feedback | |
Hi all, Ex1 has been marked. Please read the feedback carefully. The solution is also online, I remind you that reading the solutions is part of the course requirements. Feel free to ask questions in the Piazza/email if something is unclear. |
פורסם ב-27/6/2024, 18:52:30 Created on 27/6/2024, 18:52:30 Создано27/6/2024, 18:52:30 تم النشر ب-27/6/2024, 18:52:30 |
New Room + Next Week's (cancelled) lecture + Makeup lecture | |
Hi all, Some administrative notes: 1. Starting from the next lecture (30.6), we will meet at **Taub 8**. 2. Reminder: the lecture on 23.6 is cancelled. 3. In order to schedule a makeup lecture, please fill in the following form by 25.6: https://forms.gle/pL7WaKDvuT9ZLyCn9 I will do my best to satisfy as many constraints as I can. Shaull |
פורסם ב-16/6/2024, 09:46:29 Created on 16/6/2024, 09:46:29 Создано16/6/2024, 09:46:29 تم النشر ب-16/6/2024, 09:46:29 |
Ex1 is online | |
Hi all, Ex1 is online, due on 24.6.2024. Notes (see also on the exercise tab): - You may submit in *pairs* or in *singles*. - Solutions must be typed. You already know all the material to solve it, no real need to wait for Sunday's lecture. If you have any questions, please use the Piazza forum. |
עדכון אחרון ב-13/6/2024, 14:08:43 Last updated on 13/6/2024, 14:08:43 Последняя модификация13/6/2024, 14:08:43 تمت الحتلنة الأخيرة ب-13/6/2024, 14:08:43 |
Correction -- We'll meet on Sunday! | |
Messed up in the first message. That bodes well, doesn't it? :) |
פורסם ב-27/5/2024, 15:36:58 Created on 27/5/2024, 15:36:58 Создано27/5/2024, 15:36:58 تم النشر ب-27/5/2024, 15:36:58 |
Welcome to Automata, Logic and Games! | |
Hi all, Welcome to the course on Automata, Logic and Games. We will meet on Sunday. A couple of administrative messages beforehand: 1. Please read carefully the General Info and Syllabus tabs on the website (https://webcourse.cs.technion.ac.il/02360025/Spring2024/) 2. Please register to the course Piazza, where you can ask questions and discuss stuff (https://piazza.com/technion.ac.il/spring2024/236025) 3. The lecture on **23.6.2024 is cancelled**, I will send out a questionnaire later on to find the best time for a makeup lecture. I wish you all a pleasant and quiet semester. |
עדכון אחרון ב-27/5/2024, 15:36:24 Last updated on 27/5/2024, 15:36:24 Последняя модификация27/5/2024, 15:36:24 تمت الحتلنة الأخيرة ب-27/5/2024, 15:36:24 |