Optimal strategies in priced timed game automata (2004)

by Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Gulstrand Larsen
Venue:In FSTTCS’04, LNCS 3328