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 Fundamental Computer Science
2023
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, Nieuwveld J, Ouaknine J and Worrell 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 and Ouaknine J
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 and
Kelmendi E International Journal of Game Theory,
Springer Nature vol. 52 (4), 1179-1214.
25-05-2023 2022
Value iteration for simple stochastic games: Stopping criterion and learning algorithmEisentraut J,
Kelmendi E, Křetínský J and Weininger M
Information and Computation,
Elsevier vol. 285
01-05-2022
