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)
Nils Jansen. I am a Full Professor at the Ruhr-University Bochum in Germany. I lead the Chair of Artificial Intelligence and Formal Methods. I am also an Associate Professor with Institute for Computing and Information Sciences at Radboud University Nijmegen, The Netherlands.
The chair of Artificial Intelligence and Formal Methods has a mission:
Increase the trustworthiness of Artificial Intelligence (AI).