Edon Kelmendi

Edon Kelmendi

Research Associate

University of Oxford

Biography

I am a research associate at the University of Oxford working under the supervision of Joël Ouaknine. Before this, I was working with Mikołaj Bojańczyk in Warsaw.

I did my PhD under the supervision of Hugo Gimbert and François Dufour in LaBRI, Bordeaux.

My interests are: games, automata, logics in computer science

Papers

(2020). Invariants for Continuous Linear Dynamical Systems. In ICALP.

arxiv

(2020). Extensions of ω-Regular Languages. In LICS.

arxiv

(2019). MSO+∇ is undecidable. In LICS.

PDF arxiv

(2018). Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. In CAV.

PDF arxiv

(2017). Emptiness of Zero Automata Is Decidable. In ICALP.

PDF arxiv

(2017). Stamina: Stabilisation Monoids in Automata Theory. In CIAA.

PDF

(2015). Deciding the value 1 problem for probabilistic leaktight automata. LMCS.

PDF arxiv

Recent Posts

Adding Sets to MSO

Report on a thoerem by Semenov