nilsjansen.org - Nils Jansen.

home > domains > nilsjansen.org

artificial intelligence (3794) machine learning (3481) shielding (59) mdp (50) neurosymbolic ai (3) decision-making under uncertainty (3) pomdp (3) nils jansen (2) safe reinforcement learning (2)

Example domain paragraphs

Nils Jansen. Associate Professor, Institute for Computing and Information Sciences, Radboud University Nijmegen.

My group 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.

The following goals are central to our efforts:

Links to nilsjansen.org (3)

• lava-lab.org AI-FM
• conferences-computer.science A list of conferences in computer science
• weissbord.org The Weissbord Institute