Folgen
Toghrul Karimov
Toghrul Karimov
Max Planck Institute for Software Systems
Bestätigte E-Mail-Adresse bei mpi-sws.org - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
192021
What’s decidable about linear loops?
T Karimov, E Lefaucheux, J Ouaknine, D Purser, A Varonka, ...
Proceedings of the ACM on Programming Languages 6 (POPL), 1-25, 2022
162022
The pseudo-Skolem problem is decidable
J D'Costa, T Karimov, R Majumdar, J Ouaknine, M Salamati, S Soudjani, ...
LIPIcs 202, 2021
102021
On LTL model checking for low-dimensional discrete linear dynamical systems
T Karimov, J Ouaknine, J Worrell
arXiv preprint arXiv:2007.02911, 2020
102020
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
82022
Reachability in dynamical systems with rounding
C Baier, F Funke, S Jantsch, T Karimov, E Lefaucheux, J Ouaknine, ...
arXiv preprint arXiv:2009.13353, 2020
72020
The pseudo-reachability problem for diagonalisable linear dynamical systems
J D'Costa, T Karimov, R Majumdar, J Ouaknine, M Salamati, J Worrell
arXiv preprint arXiv:2204.12253, 2022
52022
The Orbit Problem for parametric linear dynamical systems
C Baier, F Funke, S Jantsch, T Karimov, E Lefaucheux, F Luca, ...
arXiv preprint arXiv:2104.10634, 2021
52021
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
42023
The Monadic Theory of Toric Words
V Berthé, T Karimov, J Ouaknine, M Vahanwala, J Worrell
arXiv preprint arXiv:2311.04895, 2023
12023
Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
C Baier, F Funke, S Jantsch, T Karimov, E Lefaucheux, J Ouaknine, ...
33rd International Conference on Concurrency Theory (CONCUR 2022), 2022
12022
Multiple Reachability in Linear Dynamical Systems
T Karimov, E Kelmendi, J Ouaknine, J Worrell
arXiv preprint arXiv:2403.06515, 2024
2024
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates
V Berthé, T Karimov, J Nieuwveld, J Ouaknine, M Vahanwala, J Worrell
2024
Algorithmic verification of linear dynamical systems
T Karimov
Saarländische Universitäts-und Landesbibliothek, 2023
2023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–14