Selected publications by Romain Brenguier
Conferences
- BBMU12
-
P. Bouyer, R. Brenguier, N. Markey and M. Ummels. Concurrent games with ordered objectives. In FoSSaCS'12, LNCS 7213, pages 301-315. Springer, 2012. To appear. ( PDF | PDF (long version) | BibTeX + Abstract )
- BBMU11
-
P. Bouyer, R. Brenguier, N. Markey and M. Ummels. Nash Equilibria in Concurrent Games with Büchi Objectives. In FSTTCS'11, Leibniz International Proceedings in Informatics, pages 375-386. Leibniz-Zentrum für Informatik, 2011. ( PDF | BibTeX + Abstract )
- BBM10a
-
P. Bouyer, R. Brenguier and N. Markey. Computing Equilibria in Two-Player Timed Games
via Turn-Based Finite Games. In FORMATS'10, LNCS 6246, pages 62-76. Springer, 2010. ( PDF | PDF (long version) | BibTeX + Abstract )
- BBM10b
-
P. Bouyer, R. Brenguier and N. Markey. Nash Equilibria for Reachability Objectives in Multi-player Timed
Games. In CONCUR'10, LNCS 6269, pages 192-206. Springer, 2010. ( PDF | PDF (long version) | BibTeX + Abstract )
Other Publications
- Bre09
-
R. Brenguier. Calcul des équilibres de Nash dans les jeux temporisés. Rapport de Master, Master Parisien de Recherche en Informatique, Paris,
France, September 2009. ( PDF | PS | PS.GZ | BibTeX )