共 50 条
- [41] Pareto Curves of Multidimensional Mean-Payoff Games [J]. COMPUTER AIDED VERIFICATION, CAV 2015, PT II, 2015, 9207 : 251 - 267
- [42] Linear dynamic games with polytope strategy sets [J]. IET CONTROL THEORY AND APPLICATIONS, 2017, 11 (13): : 2146 - 2151
- [46] The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average [J]. AUTOMATA, LANGUAGES, AND PROGRAMMING (ICALP 2014), PT I, 2014, 8572 : 89 - 100
- [47] Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2011, 6996 : 135 - +
- [49] POLYTOPE PAIRS AND THEIR RELATIONSHIP TO LINEAR-PROGRAMMING [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (07): : A682 - A682