Optimal Strategies in Priced Timed Game Automata

Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen. Optimal Strategies in Priced Timed Game Automata. In Kamal Lodaya, Meena Mahajan, editors, FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings. Volume 3328 of Lecture Notes in Computer Science, pages 148-160, Springer, 2004. [doi]

Authors

Patricia Bouyer

This author has not been identified. Look up 'Patricia Bouyer' in Google

Franck Cassez

This author has not been identified. Look up 'Franck Cassez' in Google

Emmanuel Fleury

This author has not been identified. Look up 'Emmanuel Fleury' in Google

Kim Guldstrand Larsen

This author has not been identified. Look up 'Kim Guldstrand Larsen' in Google