Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| PUBLIC HOLIDAY | Break | 1 | 29.05.25 | N/A | Yes | ||
| PUBLIC HOLIDAY | Break | 1 | 19.06.25 | N/A | Yes | ||
| Lecture – Policy Verification II: Policy Predicate Abstraction | Lecture | HS003 (E1 3) | 1 | 03.07.25 | 03.07.25 | No | |
| Lecture – Policy Verification II: Policy Predicate Abstraction | Lecture | HS003 (E1 3) | 1 | 26.06.25 | 26.06.25 | No | |
| Lecture – Policy Verification I: Basics | Lecture | HS003 (E1 3) | 1 | 12.06.25 | 12.06.25 | No | |
| Lecture – Policy Testing: Classical Planning | Lecture | HS003 (E1 3) | 1 | 10.07.25 | 10.07.25 | No | |
| Lecture – Policy Learning: Action Schema Networks/Policy Verification I: Basics | Lecture | HS003 (E1 3) | 1 | 05.06.25 | 05.06.25 | No | |
| Lecture – Planning as SAT/Policy Learning: Action Schema Networks | Lecture | HS003 (E1 3) | 1 | 22.05.25 | 22.05.25 | No | |
| Lecture – AI Core Course Concepts/Admissible Pruning I: Partial-Order Reduction | Lecture | HS003 (E1 3) | 1 | 17.04.25 | 17.04.25 | No | |
| Lecture – Admissible Pruning I: Partial-Order Reduction | Lecture | HS003 (E1 3) | 1 | 24.04.25 | 24.04.25 | No |