PaperMetrixEvidence-aware discovery
EN
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Nils Jansen

2 papers in the PaperMetrix corpus

Publications

Papers by this author

  1. 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 …

  2. 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.