W3200991247

• 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
• Weighted Automata for Exact Inference in Discrete Probabilistic Programs

  2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

  1

  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
• 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
• SAFEST: Fault Tree Analysis Via Probabilistic Model Checking

  2024 Proceedings, annual Reliability and Maintainability Symposium/Proceedings. Annual Reliability and Maintainability Symposium conference-paper Decision Sciences Risk and Safety Analysis Open access

  13

  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
• 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

8 results