Publications: Dr Edon Kelmendi
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
.
Kelmendi E
(
2023
)
.
COMPUTING THE DENSITY OF THE POSITIVITY SET FOR LINEAR RECURRENCE SEQUENCES
.
Logical Methods in Computer Science
vol.
19
,
(
4
)
Eisentraut J, Kelmendi E, Křetínský J, Weininger M
(
2022
)
.
Value iteration for simple stochastic games: Stopping criterion and learning algorithm
.
Information and Computation
vol.
285
,