Strategy synthesis for multidimensional quantitative objectives (0)

by K Chatterjee, M Randour, J-F Raskin
Venue:FIXED-DIMENSIONAL ENERGY GAMES ARE IN PSEUDO-POLYNOMIAL TIME 23