Sebastian Junges

Search and Explore: Symbiotic Policy Synthesis in POMDPs

2023 · RWTH Publications (RWTH Aachen)

This paper marries two state-of-the-art controller synthesis methods for partially observable Markov decision processes (POMDPs), a prominent model in sequential decision making under uncertainty. A central issue is to find a POMDP controller - that …

Efficient Sensitivity Analysis for Parametric Robust Markov Chains

2023 · Lecture notes in computer science

Abstract We provide a novel method for sensitivity analysis of parametric robust Markov chains. These models incorporate parameters and sets of probability distributions to alleviate the often unrealistic assumption that precise probabilities are available. We …

Principles of Verification: Cycling the Probabilistic Landscape

2024 · Lecture notes in computer science

Festschrift honoring Joost-Pieter Katoen, a leading researcher, educator, and organizer in the domains of formal methods, verification, and concurrency.