Nils Jansen

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.