Symbolic model checking for probabilistic processes

• The Optimal Strategy to Meet the Deadline: Ask Christel!

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

  0

  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
• Verifying Belief-Based Programs via Symbolic Dynamic Programming

  2023 Frontiers in artificial intelligence and applications book-chapter Computer Science Logic, Reasoning, and Knowledge Open access

  1

  citations
• Automatically Finding the Right Probabilities in Bayesian Networks

  2023 Journal of Artificial Intelligence Research article Computer Science Bayesian Modeling and Causal Inference Open access

  8

  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
• 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
• Parameter synthesis in Markov models

  2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

  27

  citations
• Bayesian Inference by Symbolic Model Checking

  2020 Lecture notes in computer science conference-paper Computer Science Bayesian Modeling and Causal Inference Open access

  10

  citations

8 results