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.