Pareto Curves of Multidimensional Mean−Payoff Games
Romain Brenguier and Jean−François Raskin
Book Title
Computer Aided Verification − 27th International Conference‚ CAV 2015‚ San Francisco‚ CA‚ USA‚ July 18−24‚ 2015‚ Proceedings‚ Part II
Pages
251–267
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
9207
Year
2015