Nr. 4 (2004): RS-4 Optimal Strategies in Priced Timed Game Automata

Artikler

• Optimal Strategies in Priced Timed Game Automata

  Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim G. Larsen

  • PDF (English)