W2964256340

• 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
• Efficient Probabilistic Model Checking for Relational Reachability

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

  3

  citations
• J-P: MDP. FP. PP

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

  2

  citations
• Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions

  2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  11

  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
• Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants

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

  33

  citations
• Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration

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

  6

  citations
• Under-Approximating Expected Total Rewards in POMDPs

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

  10

  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
• 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
• Latticed k-Induction with an Application to Probabilistic Programs

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

  21

  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
• Multi-cost Bounded Tradeoff Analysis in MDP

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

  22

  citations
• PrIC3: Property Directed Reachability for MDPs

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

  15

  citations

19 results