W4205437843

• The revised practitioner’s guide to MDP model checking algorithms

  2026 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

  1

  citations
• Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains

  2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  1

  citations
• Riding the Storm in a Probabilistic Model Checking Landscape

  2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  2

  citations
• Tools at the Frontiers of Quantitative Verification

  2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  9

  citations
• Parameter synthesis for Markov models: covering the parameter space

  2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

  20

  citations
• A Practitioner’s Guide to MDP Model Checking Algorithms

  2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  35

  citations
• Parameter Synthesis in Markov Models: A Gentle Survey

  2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  15

  citations

7 results