Edon KELMENDI
Edon Kelmendi Doctorant (Université Bordeaux 1)

Équipe LaBRI : Méthodes formelles
Courrier électronique : edon.kelmendiarobaselabri.fr
Bureau : 123
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. Note: On A Proof Of Positionality Of Mean-Payoff Stochastic Games. [Research Report] Université de Bordeaux, LaBRI. 2014.


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