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

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI