Edon Kelmendi

ORCID

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 25

Top Venues

CoRR

LICS

ICALP

Log. Methods Comput. Sci.

University of Bordeaux, France (PHD)

Education History

University of Bordeaux, France

PHD

Publications

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

Edon Kelmendi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Edon Kelmendi