Sebastian Junges
3 papers in the PaperMetrix corpus
Papers by this author
-
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.