Timetable

Title	Type	Location	Serial	Start	End	All Day
Exam Inspection	Exam	E1 1Room 3.06		31.07.25	31.07.25	No
Final Exam	Exam	HS003 E1 3		24.07.25	24.07.25	No
Tutorial	Tutorial	E1 1, room 3.06	2	10.07.25	10.07.25	No
Lecture – Policy Testing: Classical Planning	Lecture	HS003 (E1 3)	1	10.07.25	10.07.25	No
Tutorial	Tutorial	E1 1, room 3.06	2	03.07.25	03.07.25	No
Lecture – Policy Verification II: Policy Predicate Abstraction	Lecture	HS003 (E1 3)	1	03.07.25	03.07.25	No
Tutorial	Tutorial	E1 1, room 3.06	2	26.06.25	26.06.25	No
Lecture – Policy Verification II: Policy Predicate Abstraction	Lecture	HS003 (E1 3)	1	26.06.25	26.06.25	No
PUBLIC HOLIDAY	Break		1	19.06.25	N/A	Yes
Tutorial	Tutorial	E1 1, room 3.06	2	12.06.25	12.06.25	No
Lecture – Policy Verification I: Basics	Lecture	HS003 (E1 3)	1	12.06.25	12.06.25	No
Tutorial	Tutorial	E1 1, room 3.06	2	05.06.25	05.06.25	No
Lecture – Policy Learning: Action Schema Networks/Policy Verification I: Basics	Lecture	HS003 (E1 3)	1	05.06.25	05.06.25	No
PUBLIC HOLIDAY	Break		1	29.05.25	N/A	Yes
Tutorial	Tutorial	E1 1, room 3.06	2	22.05.25	22.05.25	No
Lecture – Planning as SAT/Policy Learning: Action Schema Networks	Lecture	HS003 (E1 3)	1	22.05.25	22.05.25	No
Tutorial	Tutorial	E1 1, room 3.06	2	15.05.25	15.05.25	No
Lecture – Admissible Pruning II: Dominance Pruning/Planning as SAT	Lecture	HS003 (E1 3)	1	15.05.25	15.05.25	No
Tutorial	Tutorial	E1 1, room 3.06	2	08.05.25	08.05.25	No
Lecture – Admissible Pruning II: Dominance Pruning	Lecture	HS003 (E1 3)	1	08.05.25	08.05.25	No
PUBLIC HOLIDAY	Break		1	01.05.25	N/A	Yes
Tutorial	Tutorial	E1 1, room 3.06	2	24.04.25	24.04.25	No
Lecture – Admissible Pruning I: Partial-Order Reduction	Lecture	HS003 (E1 3)	1	24.04.25	24.04.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 – About this Course/AI Core Course Concepts	Lecture	HS003 (E1 3)	1	10.04.25	10.04.25	No

Trusted AI Planning

Timetable

Export a category ...

Export a category with prefix ...