Energy Games in Multiweighted Automata (2011)

by U Fahrenberg, L Juhl, K G Larsen, J Srba
Venue:ICTAC 2011. LNCS