• Citer

Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games

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

• Accès en ligne
• Détails
• Statistiques

Fichier(s) déposé(s) par l'encodeur