Energy-Utility Quantiles

• What is the best algorithm for MDP model checking?

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

  2

  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
• Multi-cost Bounded Tradeoff Analysis in MDP

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

  22

  citations
• Approximating Values of Generalized-Reachability Stochastic Games

  2020 Proceedings - Symposium on Logic in Computer Science 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

6 results