Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey

• Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing

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

  1

  citations
• Probabilistic Counterexamples Through the Ages

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

  0

  citations
• (de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems

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

  2

  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
• Inductive Synthesis for Probabilistic Programs Reaches New Horizons

  2021 other Computer Science Formal Methods in Verification

  2

  citations
• Inductive Synthesis for Probabilistic Programs Reaches New Horizons

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

  13

  citations
• PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs

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

  21

  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

9 results