PROPhESY: A PRObabilistic ParamEter SYnthesis Tool

• (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
• 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
• 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
• Scenario-based verification of uncertain parametric MDPs

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

  2

  citations
• Gradient-Descent for Randomized Controllers Under Partial Observability

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

  13

  citations
• Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'

  2022 Data Archiving and Networked Services (DANS) dataset Computer Science Formal Methods in Verification Open access

  16

  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
• Out of Control: Reducing Probabilistic Models by Control-State Elimination

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

  3

  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
• Synthesizing optimal bias in randomized self-stabilization

  2021 Distributed Computing article Computer Science Distributed systems and fault tolerance Open access

  3

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

  2021 other Computer Science Formal Methods in Verification

  2

  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
• 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
• 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
• The Complexity of Reachability in Parametric Markov Decision Processes

  2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

  10

  citations
• Parameter Synthesis for Probabilistic Hyperproperties

  2020 EPiC series in computing conference-paper Computer Science Formal Methods in Verification Open access

  9

  citations
• Parameter synthesis in Markov models

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

  27

  citations

19 results