On algorithms for simple stochastic games

• 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
• Stochastic Games with Disjunctions of Multiple Objectives

  2021 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

  2

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

  2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification 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

  246

  citations
• Parameter synthesis in Markov models

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

  27

  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