Edon KELMENDI
Edon Kelmendi Post-Doctorant ()

Équipe LaBRI : Méthodes formelles
Courrier électronique : edon.kelmendiarobaselabri.fr
Bureau : 120
Tél : +33 (0)5 40 00 84 19


Extrait de publications


Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Denis Kuperberg. Stamina: Stabilisation Monoids IN Automata theory. CIAA - International Conference on Implementation and Application of Automata, 2017, Marne-la-Vallée, France. Implementation and Application of Automata. CIAA 2017

Mikołaj Bojańczyk, Hugo Gimbert, Edon Kelmendi. Emptiness of zero automata is decidable. 2017

Edon Kelmendi. Two-Player Stochastic Games with Perfect and Zero Information. Other [cs.OH]. Université de Bordeaux, 2016. English

Edon Kelmendi, Hugo Gimbert. Deciding Maxmin Reachability in Half-Blind Stochastic Games. 2016

Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Youssouf Oualhadj. Deciding the value 1 problem for probabilistic leaktight automata. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2015, pp.37


Page mise à jour le 13/08/2010 à 10:56