Combining Artificial Intelligence with Formal Methods.


AI-FM (Artificial Intelligence & Formal Methods) is a research group headed by Prof. Dr. Nils Jansen, with members of both the Ruhr University Bochum and Radboud University Nijmegen. We conduct broad foundational and application-driven research in artificial intelligence (AI), in particular neurosymbolic AI, which we combine with the area of formal methods (FM). We tackle problems that are inspired by autonomous systems, industrial projects, and in particular planning problems in robotics.