Publications: Dr Edon Kelmendi
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, Ouaknine J
(
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, Nieuwveld J, Ouaknine J, Worrell 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
.