Dr Edon Kelmendi
Lecturer in Computer Science
School of Electronic Engineering and Computer Science
Queen Mary University of London
Research
Dynamical Systems, Logics in CS, Game theory, Automata
Interests
I am generally interested in the theory of computation, particularly in algorithmic verification, including but not limited to algorithms for dynamical systems, logics in computer science, game theory, and automata.
Publications

Publications of specific relevance to the Centre for Fundamentals of AI and Computational Theory
2025
Multiple Reachability in Linear Dynamical SystemsKarimov T Kelmendi E Ouaknine J Worrell J
2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). vol. 00, 651-663.
26-06-20252024
Multiple Reachability in Linear Dynamical SystemsKarimov T Kelmendi E Ouaknine J Worrell J
11-03-20242023
Computing the Density of the Positivity Set for Linear Recurrence SequencesKelmendi E
Logical Methods in Computer Science,
Centre Pour La Communication Scientifique Directe (Ccsd) vol. Volume 19, Issue 4
28-11-2023
The Power of PositivityKarimov T Kelmendi E Ouaknine J
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). vol. 00, 1-11.
29-06-2023
Reachability in Injective Piecewise Affine MapsGhahremani F Kelmendi E
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). vol. 00, 1-11.
29-06-2023
Submixing and shift-invariant stochastic gamesGimbert H Kelmendi E
International Journal of Game Theory,
Springer Nature vol. 52 (4), 1179-1214.
25-05-2023
Reachability in Injective Piecewise Affine MapsGhahremani F Kelmendi E Ouaknine J
23-01-20232022
Value iteration for simple stochastic games: Stopping criterion and learning algorithmEisentraut J Kelmendi E Křetínský J
Information and Computation,
Elsevier vol. 285
01-05-20222021
Computing the Density of the Positivity Set for Linear Recurrence
SequencesKelmendi E
24-09-20212020
Deciding $ω$-Regular Properties on Linear Recurrence SequencesAlmagor S Karimov T Kelmendi E Ouaknine J Worrell J
27-10-2020
Invariants for Continuous Linear Dynamical SystemsAlmagor S Kelmendi E Ouaknine J Worrell J
24-04-20202016
Deciding Maxmin Reachability in Half-Blind Stochastic GamesKelmendi E Gimbert H
25-05-20162014
Submixing and Shift-invariant Stochastic GamesGimbert H Kelmendi E
25-01-2014
Research Group