Articoli con mandati relativi all'accesso pubblico - Edon KelmendiUlteriori informazioni
Non disponibile pubblicamente: 1
MSO+∇ is undecidable
M Bojańczyk, E Kelmendi, M Skrzypczak
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019
Mandati: European Commission
Disponibili pubblicamente: 11
Value iteration for simple stochastic games: Stopping criterion and learning algorithm
E Kelmendi, J Krämer, J Křetínský, M Weininger
International conference on computer aided verification, 623-642, 2018
Mandati: German Research Foundation
Deciding ω-regular properties on linear recurrence sequences
S Almagor, T Karimov, E Kelmendi, J Ouaknine, J Worrell
Proceedings of the ACM on Programming Languages 5 (POPL), 1-24, 2021
Mandati: German Research Foundation, UK Engineering and Physical Sciences Research …
Value iteration for simple stochastic games: Stopping criterion and learning algorithm
J Eisentraut, E Kelmendi, J Křetínský, M Weininger
Information and Computation 285, 104886, 2022
Mandati: German Research Foundation
What’s decidable about discrete linear dynamical systems?
T Karimov, E Kelmendi, J Ouaknine, J Worrell
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022
Mandati: German Research Foundation
The power of positivity
T Karimov, E Kelmendi, J Nieuwveld, J Ouaknine, J Worrell
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-11, 2023
Mandati: German Research Foundation, UK Engineering and Physical Sciences Research …
Submixing and shift-invariant stochastic games
H Gimbert, E Kelmendi
International Journal of Game Theory 52 (4), 1179-1214, 2023
Mandati: Agence Nationale de la Recherche
Extensions of ω-regular languages
M Bojańczyk, E Kelmendi, R Stefański, G Zetzsche
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
Mandati: European Commission
Reachability in Injective Piecewise Affine Maps
F Ghahremani, E Kelmendi, J Ouaknine
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-11, 2023
Mandati: German Research Foundation
Deciding 𝜔-Regular Properties on Linear Recurrence Sequences
E KELMENDI, J OUAKNINE, J WORRELL
Mandati: German Research Foundation, UK Engineering and Physical Sciences Research …
Invariants for continuous linear dynamical systems
E Kelmendi, J Ouaknine, J Worrell, S Almagor
Schloss Dagstuhl, 2020
Mandati: German Research Foundation, UK Engineering and Physical Sciences Research …
Stamina: Stabilisation Monoids in Automata Theory
N Fijalkow, H Gimbert, E Kelmendi, D Kuperberg
Implementation and Application of Automata: 22nd International Conference …, 2017
Mandati: UK Engineering and Physical Sciences Research Council
Le informazioni sulla pubblicazione e sul finanziamento vengono stabilite automaticamente da un software