Computing Equilibria in Two−Player Timed Games via Turn−Based Finite Games
Patricia Bouyer‚ Romain Brenguier and Nicolas Markey
Address
Vienna‚ Austria
Book Title
Proceedings of the 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'10)
Month
sep
Pages
62−76
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
6246
Year
2010