par Bouyer, Patricia; Brenguier, Romain Liste de publications; Markey, Nicolas NM
Référence Proceedings of the 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'10), 6246, (page 62-76)
Publication Publié, 2010-09
Publication dans des actes
Titre :
  • Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games
Auteur : Bouyer, Patricia ; Brenguier, Romain ; Markey, Nicolas NM
Statut de publication : Publié, 2010-09
Sujet CREF : Informatique générale
Informations sur la publication :
  • Proceedings of the 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'10), Springer, 6246, page 62-76, Lecture Notes in Computer Science
Langue :
  • Anglais
Identificateurs : info:doi/10.1007/978-3-642-15297-9_7
http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BBM-formats10.pdf