共 50 条
- [41] A Tutorial on Mean-payoff and Energy Games [J]. DEPENDABLE SOFTWARE SYSTEMS ENGINEERING, 2016, 45 : 179 - 201
- [42] Mean-Payoff Games and Propositional Proofs [J]. AUTOMATA, LANGUAGES AND PROGRAMMING, PT I, 2010, 6198 : 102 - +
- [44] BOREL STOCHASTIC GAMES WITH LIM SUP PAYOFF [J]. ANNALS OF PROBABILITY, 1993, 21 (02): : 861 - 885
- [45] Deterministic priority mean-payoff games as limits of discounted games [J]. AUTOMATA, LANGAGES AND PROGRAMMING, PT 2, 2006, 4052 : 312 - 323
- [47] Energy and Mean-Payoff Games with Imperfect Information [J]. COMPUTER SCIENCE LOGIC, 2010, 6247 : 260 - +
- [48] Pareto Curves of Multidimensional Mean-Payoff Games [J]. COMPUTER AIDED VERIFICATION, CAV 2015, PT II, 2015, 9207 : 251 - 267
- [49] Robust Multidimensional Mean-Payoff Games are Undecidable [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2015), 2015, 9034 : 312 - 327
- [50] Interactive strategy sets in multiple payoff games [J]. Computers and Industrial Engineering, 1999, 37 (03): : 613 - 630