Nils Jansen

A method for calculating probabilities in systems with uncertain timing of observations.

A study on Robust POMDPs and their implications for decision-making under uncertainty.

Examining new developments in tools for verifying complex systems.

This article discusses methods for verifying neural networks in reach-avoid tasks.

This article discusses new methods for sewer pipe maintenance using machine learning.

A look into Robust MDPs and their role in uncertain decision-making.