lava-lab.org - AI-FM

home > domains > lava-lab.org

Description: AI-FM (Artificial Intelligence & Formal Methods) conducts research around Learning and Verification in decision-making under uncertainty.

ai (9430) learning (5509) verification (362) decision-making under uncertainty (3)

Example domain paragraphs

Institute for Computing and Information Sciences, Radboud University Nijmegen.

The Lava-Lab conducts broad foundational and application-driven research in artificial intelligence (AI), in particular neurosymbolic AI. We bring together the areas of machine learning and formal methods, in particular formal verification. We tackle problems that are inspired by autonomous systems, industrial projects, and in particular planning problems in robotics.

Mercator 1 Building

Links to lava-lab.org (2)

• nilsjansen.org Nils Jansen.
• njansen123.github.io Nils Jansen.