| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Deciding the Existence of Cut-Off in Parameterized Rendez-Vous Networks | Horn, Florian et al. | 2020 |
| 2 | Entropy Games and Matrix Multiplication Games | Asarin, Eugene et al. | 2016 |
| 3 | Playing Safe | Colcombet, Thomas et al. | 2014 |
| 4 | Random Fruits on the Zielonka Tree | Horn, Florian | 2009 |
| 5 | Explicit Muller Games are PTIME | Horn, Florian | 2008 |
| 6 | Graph Games on Ordinals | Cristau, Julien et al. | 2008 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 6 |