Automated Modelling Assistance for the Creation of Complex Planning Models

Artificial Intelligence (AI) planning technology is used to control systems like automated factories, robots, or to solve complex optimisation problems. Creating these models is however rather complex and error-prone and requires experts to create them in the first place. This project aims at developing techniques and tools for automated modelling support. They will make the modelling process easier and guarantee desired model properties such as the desired system behaviour. The tools will thus contribute towards making the technology more easily accessible to companies that might want to deploy them, while reducing costs for doing so and increasing the quality of these models.