Pareto Curves of Multidimensional Mean-Payoff Games
Abstract elided by the publisher.
Related papers
- MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives TACAS 2015
- Solving Mean-Payoff Games via Quasi Dominions TACAS 2020
- Synthesis from LTL Specifications with Mean-Payoff Objectives TACAS 2013
- Pareto Curves for Compositionally Model Checking String Diagrams of MDPs TACAS 2024
- Better Quality in Synthesis through Quantitative Objectives CAV 2009
- Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games CAV 2024
- Fast value iteration: A uniform approach to efficient algorithms for energy games TACAS 2025
- PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP CAV 2022