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


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

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

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

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

Hugo Gimbert, Edon Kelmendi. Two-Player Perfect-Information Shift-Invariant Submixing Stochastic Games Are Half-Positional. 2014


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