Trusted AI Planning

Dr. Daniel Höller, Prof. Dr. Jörg Hoffmann

Timetable

Title Type Location Serial Start End All Day
Tutorial Tutorial E1 1, room 3.06 2 08.05.25 08.05.25 No 
Tutorial Tutorial E1 1, room 3.06 2 24.04.25 24.04.25 No 
Lecture – Policy Verification II: Policy Predicate Abstraction Lecture HS003 (E1 3) 1 26.06.25 26.06.25 No 
Lecture – Policy Verification II: Policy Predicate Abstraction Lecture HS003 (E1 3) 1 03.07.25 03.07.25 No 
Lecture – Policy Verification I: Basics Lecture HS003 (E1 3) 1 12.06.25 12.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 
Lecture – Planning as SAT/Policy Learning: Action Schema Networks Lecture HS003 (E1 3) 1 22.05.25 22.05.25 No 
Lecture – Admissible Pruning II: Dominance Pruning/Planning as SAT Lecture HS003 (E1 3) 1 15.05.25 15.05.25 No 
Lecture – Admissible Pruning I: Partial-Order Reduction/Admissible Pruning II: Dominance Pruning Lecture HS003 (E1 3) 1 08.05.25 08.05.25 No 
Lecture – Admissible Pruning I: Partial-Order Reduction Lecture HS003 (E1 3) 1 24.04.25 24.04.25 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.