Automated Verification Techniques for Probabilistic Systems

• 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
• Probabilistic Model Checking Taken by Storm

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

  0

  citations
• What is the best algorithm for MDP model checking?

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

  2

  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
• Probabilistic Hyperproperties with Rewards

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

  6

  citations
• Multi-cost Bounded Tradeoff Analysis in MDP

  2020 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access

  22

  citations
• Simple Strategies in Multi-Objective MDPs

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

  29

  citations

7 results