On Stochastic Games with Multiple Objectives

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

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

  5

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

7 results