| 2013 | ||
|---|---|---|
| i1 | Romain Brenguier, Jean-François Raskin, Mathieu Sassolas: The Complexity of Admissibility in Omega-Regular Games. CoRR abs/1304.1682 (2013) | |
| 2012 | ||
| c5 | Romain Brenguier, Stefan Göller, Ocan Sankur: A Comparison of Succinctly Represented Finite-State Systems. CONCUR 2012: 147-161 | |
| c4 | Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels: Concurrent Games with Ordered Objectives. FoSSaCS 2012: 301-315 | |
| 2011 | ||
| c3 | Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels: Nash Equilibria in Concurrent Games with Büchi Objectives. FSTTCS 2011: 375-386 | |
| 2010 | ||
| c2 | Patricia Bouyer, Romain Brenguier, Nicolas Markey: Nash Equilibria for Reachability Objectives in Multi-player Timed Games. CONCUR 2010: 192-206 | |
| c1 | Patricia Bouyer, Romain Brenguier, Nicolas Markey: Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games. FORMATS 2010: 62-76 | |
| 1 | Patricia Bouyer (Patricia Bouyer-Decitre) | |
| 2 | Stefan Göller | |
| 3 | Nicolas Markey | |
| 4 | Jean-François Raskin | |
| 5 | Ocan Sankur | |
| 6 | Mathieu Sassolas | |
| 7 | Michael Ummels |
Data released under the ODC-BY 1.0 license — See also our legal information page