W2982115117

• Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains

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

  1

  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
• 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
• Gradient-Descent for Randomized Controllers Under Partial Observability

  2022 Lecture notes in computer science conference-paper Computer Science Machine Learning and Algorithms

  13

  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
• POMDP Controllers with Optimal Budget

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

  0

  citations
• Convex Optimization for Parameter Synthesis in MDPs

  2021 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access

  21

  citations
• The probabilistic model checker Storm

  2021 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

  245

  citations
• On Correctness, Precision, and Performance in Quantitative Verification

  2021 Lecture notes in computer science conference-paper Engineering Fault Detection and Control Systems Open access

  39

  citations
• Finding Provably Optimal Markov Chains

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

  12

  citations
• Fine-Tuning the Odds in Bayesian Networks

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

  10

  citations

11 results