Counterexample-Guided Abstraction Refinement

• Counter Example Guided Abstraction Refinement for IEC 60848 GRAFCET

  2025 IEEE Industrial Electronics Society Annual On-Line Conference (ONCON) conference-paper Computer Science Formal Methods in Verification

  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
• Satisfiability Modulo Exponential Integer Arithmetic

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

  4

  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
• Parameter Synthesis in Markov Models: A Gentle Survey

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

  15

  citations
• Parameter synthesis in Markov models

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

  27

  citations

6 results