Edon Kelmendi

29 papers A* 8B 1C 1Journal 16Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
Multiple Reachability in Linear Dynamical Systems.
LICS
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2024 J jnl
Multiple Reachability in Linear Dynamical Systems.
CoRR
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2023 J jnl
Computing the Density of the Positivity Set for Linear Recurrence Sequences.
Log. Methods Comput. Sci.
Edon Kelmendi
2023 A* conf
Reachability in Injective Piecewise Affine Maps.
LICS
Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine
2023 J jnl
Reachability in Injective Piecewise Affine Maps.
CoRR
Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine
2023 J jnl
Submixing and shift-invariant stochastic games.
Int. J. Game Theory
Hugo Gimbert, Edon Kelmendi
2023 A* conf
The Power of Positivity.
LICS
Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Joël Ouaknine, James Worrell
2022 A* conf
Computing the Density of the Positivity Set for Linear Recurrence Sequences.
LICS
Edon Kelmendi
2022 J jnl
Value iteration for simple stochastic games: Stopping criterion and learning algorithm.
Inf. Comput.
Julia Eisentraut, Edon Kelmendi, Jan Kretínský, Maximilian Weininger
2022 — conf
What's Decidable About Discrete Linear Dynamical Systems?
Principles of Systems Design
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2022 J jnl
What's Decidable about Discrete Linear Dynamical Systems?
CoRR
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2021 J jnl
Deciding ω-regular properties on linear recurrence sequences.
Proc. ACM Program. Lang.
Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2020 J jnl
Deciding ω-Regular Properties on Linear Recurrence Sequences.
CoRR
Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2020 A* conf
Extensions of ω-Regular Languages.
LICS
Mikolaj Bojanczyk, Edon Kelmendi, Rafal Stefanski, Georg Zetzsche
2020 J jnl
Extensions of ω-Regular Languages.
CoRR
Mikolaj Bojanczyk, Edon Kelmendi, Rafal Stefanski, Georg Zetzsche
2020 A* conf
Invariants for Continuous Linear Dynamical Systems.
ICALP
Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell
2020 J jnl
Invariants for Continuous Linear Dynamical Systems.
CoRR
Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell
2019 J jnl
MSO+nabla is undecidable.
CoRR
Mikolaj Bojanczyk, Edon Kelmendi, Michal Skrzypczak
2019 A* conf
MSO+∇ is undecidable.
LICS
Mikolaj Bojanczyk, Edon Kelmendi, Michal Skrzypczak
2018 — conf
Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm.
CAV (1)
Edon Kelmendi, Julia Krämer, Jan Kretínský, Maximilian Weininger
2018 J jnl
Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm.
CoRR
Edon Kelmendi, Julia Krämer, Jan Kretínský, Maximilian Weininger
2017 A* conf
Emptiness of Zero Automata Is Decidable.
ICALP
Mikolaj Bojanczyk, Hugo Gimbert, Edon Kelmendi
2017 J jnl
Emptiness of zero automata is decidable.
CoRR
Mikolaj Bojanczyk, Hugo Gimbert, Edon Kelmendi
2017 C conf
Stamina: Stabilisation Monoids in Automata Theory.
CIAA
Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Denis Kuperberg
2016 B conf
Deciding Maxmin Reachability in Half-Blind Stochastic Games.
SAGT
Edon Kelmendi, Hugo Gimbert
2016 J jnl
Deciding Maxmin Reachability in Half-Blind Stochastic Games.
CoRR
Edon Kelmendi, Hugo Gimbert
2016 — —
Two-Player Stochastic Games with Perfect and Zero Information. (Jeux Stochastiques à Deux Joueurs à Information Parfaite et Zéro).
Edon Kelmendi
2015 J jnl
Deciding the value 1 problem for probabilistic leaktight automata.
Log. Methods Comput. Sci.
Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Youssouf Oualhadj
2014 J jnl
Two-Player Perfect-Information Shift-Invariant Submixing Stochastic Games Are Half-Positional.
CoRR
Hugo Gimbert, Edon Kelmendi