Cassez, Franck

• BRICS Report Series No. 4 (2004): RS-4 Optimal Strategies in Priced Timed Game Automata - Articles
  Optimal Strategies in Priced Timed Game Automata
  Abstract  PDF