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:38 - 17 self