Perfect-Information Stochastic Games with Generalized Mean-Payoff 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
• 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 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Formal Methods in Verification Open access

  10

  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

8 results