par Bouyer, Patricia;Brenguier, Romain ;Markey, Nicolas NM
Référence Proceedings of the 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'10), Springer, Vol. 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
Informations sur la publication:Proceedings of the 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'10), Springer, Vol. 6246, page (62-76)
Statut de publication:Publié, 2010-09
series:Lecture Notes in Computer Science
Sujet CREF:Informatique générale
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