MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives

• 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
• 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
• Markov Decision Processes with Sure Parity and Multiple Reachability Objectives

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

  0

  citations
• Stochastic games with lexicographic objectives

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

  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
• 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

8 results