Quantitative Multi-objective Verification for Probabilistic Systems

• Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking

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

  1

  citations
• Multiple Long-Run and $$\omega $$-Regular Objectives in MDPs

  2026 Lecture notes in computer science conference-paper Decision Sciences Fuzzy and Soft Set Theory Open access

  0

  citations
• Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families

  2026 Lecture notes in computer science conference-paper Open access

  0

  citations
• Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate

  2025 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access

  3

  citations
• Efficient Probabilistic Model Checking for Relational Reachability

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

  3

  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
• Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains

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

  2

  citations
• Stochastic games with lexicographic objectives

  2023 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

  5

  citations
• Stochastic Games with Disjunctions of Multiple Objectives

  2021 Electronic Proceedings in Theoretical Computer Science article Decision Sciences Game Theory and Applications Open access

  2

  citations
• Stochastic Games with Disjunctions of Multiple Objectives (Technical Report)

  2021 arXiv (Cornell University) preprint Computer Science Bayesian Modeling and Causal Inference Open access

  1

  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
• Markov automata with multiple objectives

  2021 Formal Methods in System Design article Computer Science Formal Methods in Verification

  5

  citations
• Multi-objective Optimization of Long-run Average and Total Rewards

  2021 other Computer Science Formal Methods in Verification Open access

  1

  citations
• Multi-objective Optimization of Long-run Average and Total Rewards

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

  13

  citations
• Approximating Values of Generalized-Reachability Stochastic Games

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

  10

  citations
• Simple Strategies in Multi-Objective MDPs

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

  29

  citations
• Approximating Values of Generalized-Reachability Stochastic Games

  2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

  14

  citations
• Stochastic Games with Lexicographic Reachability-Safety Objectives

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

  20

  citations

18 results