Optimal bounds for multiweighted and parametrised energy games (2013)

by L Juhl, K G Larsen, J Raskin
Venue:In Theories of Programming and Formal Methods— Essays Dedicated to Jifeng He on the Occasion of his 70th Birthday, volume 8051 of LNCS