News
slides uploadWritten on 17.04.25 by Joerg Hoffmann Hi all, the slides are uploaded (we'll always do that after the lecture). Note: I removed some details from the slides, compared to what I showed you this morning. What's relevant for the exam is the content in the handouts, so if something is not there you don't need to worry about it. (In some… Read more Hi all, the slides are uploaded (we'll always do that after the lecture). Note: I removed some details from the slides, compared to what I showed you this morning. What's relevant for the exam is the content in the handouts, so if something is not there you don't need to worry about it. (In some places, we are still in the process of optimizing the slides for the drastic re-design this course has undergone since last 2 year) best, Jörg |
Exercise Sheet 1 ReleasedWritten on 17.04.25 by Chaahat Jain Hello everyone,
I have uploaded the first Exercise Sheet now. It can be viewed in Information/Materials. The instructions for submitting this sheet can be found in Information/Organization. Looking forward to meet you all next Thursday :) Warm Regards, Chaahat Jain. |
Exercise SheetsWritten on 11.04.25 by Daniel Höller Dear students, We have updated the instructions regarding exercise sheets in CMS. You can find them under Information/Organization. Best regards, |
Chapter 1Written on 10.04.25 (last change on 10.04.25) by Joerg Hoffmann Hello everybody, I just uploaded the slide handouts for Chapter 0 and 1. (The upload will always be done shortly after the lecture) Notes:
Hello everybody, I just uploaded the slide handouts for Chapter 0 and 1. (The upload will always be done shortly after the lecture) Notes:
I enjoyed the lecture today. Hope most of you will decide to take the course. best, Jörg Hoffmann
|
Trusted AI Planning
AI Planning is one of the fundamental sub-areas of Artificial Intelligence, concerned with methods taking long-term action decisions in complex environments. This course mainly focuses on techniques supporting trust in learned action policies, through verification and testing methods. We furthermore cover a technique to learn action policies in the first place, in a way generalizing across instance size; and we cover some plan generation techniques whose technical components are used in policy verification and testing.
Prerequisites. Successful participation in the core course Artificial Intelligence provides useful background, but is not necessary.