Follow
Toghrul Karimov
Toghrul Karimov
Verified email at mpi-sws.org - Homepage
Title
Cited by
Cited by
Year
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
222022
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
212021
On LTL model checking for low-dimensional discrete linear dynamical systems
T Karimov, J Ouaknine, J Worrell
arXiv preprint arXiv:2007.02911, 2020
112020
The pseudo-Skolem problem is decidable
J D'Costa, T Karimov, R Majumdar, J Ouaknine, M Salamati, S Soudjani, ...
LIPIcs 202, 2021
102021
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
92022
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
72023
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
72021
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
62022
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates
V Berthé, T Karimov, J Nieuwveld, J Ouaknine, M Vahanwala, J Worrell
arXiv preprint arXiv:2405.07953, 2024
12024
The Monadic Theory of Toric Words
V Berthé, T Karimov, J Ouaknine, M Vahanwala, J Worrell
arXiv preprint arXiv:2311.04895, 2023
12023
Algorithmic verification of linear dynamical systems
T Karimov
Saarländische Universitäts-und Landesbibliothek, 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
On the Decidability of Presburger Arithmetic Expanded with Powers
T Karimov, F Luca, J Nieuwveld, J Ouaknine, J Worrell
arXiv preprint arXiv:2407.05191, 2024
2024
Model Checking Markov Chains as Distribution Transformers
R Aghamov, C Baier, T Karimov, J Nieuwveld, J Ouaknine, J Piribauer, ...
arXiv preprint arXiv:2406.15087, 2024
2024
Linear dynamical systems with continuous weight functions
R Aghamov, C Baier, T Karimov, J Ouaknine, J Piribauer
Proceedings of the 27th ACM International Conference on Hybrid Systems …, 2024
2024
Multiple Reachability in Linear Dynamical Systems
T Karimov, E Kelmendi, J Ouaknine, J Worrell
arXiv preprint arXiv:2403.06515, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–17