The Quantitative Verification Benchmark Set

• 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
• Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking

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

  1

  citations
• Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate

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

  3

  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
• Fixed Point Certificates for Reachability and Expected Rewards in MDPs

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

  6

  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
• Towards End-to-End GPU Acceleration of PCTL Model Checking

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

  1

  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
• Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains

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

  2

  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
• Gradient-Descent for Randomized Controllers Under Partial Observability

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

  13

  citations
• Out of Control: Reducing Probabilistic Models by Control-State Elimination

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

  3

  citations
• POMDP Controllers with Optimal Budget

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

  0

  citations
• The probabilistic model checker Storm

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

  246

  citations
• Counterexample-guided inductive synthesis for probabilistic systems

  2021 Formal Aspects of Computing article Computer Science Formal Methods in Verification Open access

  7

  citations
• Multi-objective Optimization of Long-run Average and Total Rewards

  2021 other Computer Science Formal Methods in Verification Open access

  1

  citations
• On Correctness, Precision, and Performance in Quantitative Verification

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

  39

  citations
• Multi-objective Optimization of Long-run Average and Total Rewards

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

  13

  citations
• Tweaking the Odds in Probabilistic Timed Automata

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

  4

  citations

19 results