Skip to main content

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