K.G.: Optimal strategies in priced timed game automata (2005)

by P Bouyer, F Cassez, E Fleury, Larsen
Venue:Berlin / Heidelberg