Publications: DR Edon Kelmendi

Karimov T, Kelmendi E, Ouaknine J, Worrell J ( 2025 ) . Multiple Reachability in Linear Dynamical Systems . Conference: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) vol. 00 , 651 - 663 .

Karimov T, Kelmendi E, Ouaknine J, Worrell J ( 2024 ) . Multiple Reachability in Linear Dynamical Systems .

Kelmendi E ( 2023 ) . Computing the Density of the Positivity Set for Linear Recurrence Sequences . Logical Methods in Computer Science vol. Volume 19, Issue 4 ,

Ghahremani F, Kelmendi E ( 2023 ) . Reachability in Injective Piecewise Affine Maps . Conference: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) vol. 00 , 1 - 11 .

Karimov T, Kelmendi E, Ouaknine J ( 2023 ) . The Power of Positivity . Conference: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) vol. 00 , 1 - 11 .

Gimbert H, Kelmendi E ( 2023 ) . Submixing and shift-invariant stochastic games . International Journal of Game Theory vol. 52 , ( 4 ) 1179 - 1214 .

Ghahremani F, Kelmendi E, Ouaknine J ( 2023 ) . Reachability in Injective Piecewise Affine Maps .

Eisentraut J, Kelmendi E, Křetínský J ( 2022 ) . Value iteration for simple stochastic games: Stopping criterion and learning algorithm . Information and Computation vol. 285 ,

Kelmendi E ( 2021 ) . Computing the Density of the Positivity Set for Linear Recurrence Sequences .

Almagor S, Karimov T, Kelmendi E, Ouaknine J, Worrell J ( 2020 ) . Deciding $ω$-Regular Properties on Linear Recurrence Sequences .

Almagor S, Kelmendi E, Ouaknine J, Worrell J ( 2020 ) . Invariants for Continuous Linear Dynamical Systems .

Kelmendi E, Gimbert H ( 2016 ) . Deciding Maxmin Reachability in Half-Blind Stochastic Games .

Gimbert H, Kelmendi E ( 2014 ) . Submixing and Shift-invariant Stochastic Games .