Optimal Strategies in Priced Timed Game Automata (2004)

by P BOUYER, F CASSEZ, E FLEURY, K G LARSEN
Venue:Proc. 24th Conference on Fundations of Software Technology and Theoretical Computer Science (FSTTCS’04