Dr J.S.L. Junges (Sebastian)

Broadly, my research is in the analysis of autonomous systems and critical infrastructure. Key aspects of my research cover the computational support for modelling, validation and verification of these systems.

Most of my research is model-based, and I lay particular focus on the algorithmic support for models that explicitly model uncertainty.
More precisely, I often work with probabilistic model checkers and SAT/SMT solvers. I analyze extensions of Markov decision processes (MDPs), in particular also parametric or partially observable MDPs. My research is largely driven by the development and implementation of algorithms.