Optimal strategies in priced timed game automata (2004)

by Patricia Bouyer , Franck Cassez , Emmanuel Fleury , Kim G. Larsen
Venue:In FSTTCS 04, LNCS 3328
Citations:52 - 23 self