Sebastian Junges

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.

A new method improves efficiency in understanding complex systems through adaptive learning.

A look into MDPs and their role in decision-making under uncertainty.

This article discusses the development of winning policies across families of MDPs.

Exploring how states relate through games in computer science.