Toghrul Karimov

toghs at mpi<insert minus sign>sws.org

About me

Since 1 April 2025, I am a postdoctoral researcher within the ERC Synergy Grant "DynAMiCs" between the MPI-SWS and the IRIF, working with Valérie Berthé on decision problems lying at the intersection of dynamical systems theory, logic, and number theory. I received my doctoral degree from Saarland University and the MPI-SWS in 2024, and my bachelor's and master's degrees from University of Oxford in 2019. Here is my cv and dblp entry.



Publications

Verification of linear dynamical systems via o-minimality of the real numbers. pdf
T. Karimov
Under review.

Model checking Markov chains as distribution transformers. pdf doi
R. Aghamov, C. Baier, T. Karimov, J. Nieuwveld, J. Ouaknine, and M. Vahanwala.
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday.

On the decidability of Presburger arithmetic expanded with powers. pdf doi
T. Karimov, F. Luca, J. Nieuwveld, J. Ouaknine, and J. Worrell.
Proc. of SODA 2025.

On the decidability of monadic second-order logic with arithmetic predicates. pdf doi
V. Berthé, T. Karimov, J. Nieuwveld, J. Ouaknine, M. Vahanwala, and J. Worrell.
Proc. of LICS 2024. Distinguished Paper Award.

Algorithmic verification of linear dynamical systems. pdf doi
PhD Thesis.
Defended on 08.02.24.

The monadic theory of toric words. pdf doi
V. Berthé, T. Karimov, J. Ouaknine, M. Vahanwala, and J. Worrell.
Theoretical Computer Science 1025.

Linear dynamical systems with continuous weight functions. pdf doi
R. Aghamov, C. Baier, T. Karimov, J. Piribauer, and J. Ouaknine.
Proc. of HSCC 2024. ACM SIGBED Best Paper Award.

The power of Positivity. pdf doi
T. Karimov, E. Kelmendi, J. Nieuwveld, J. Ouaknine, and J. Worrell.
Proc. of LICS 2023.

What's decidable about linear dynamical systems? pdf doi
T. Karimov, E. Kelmendi, J. Ouaknine, and J. Worrell.
Principles of System Design—Thomas A. Henzinger Festschrift, LNCS 13660, 2022.

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications. pdf doi
C. Baier, F. Funke, S. Jantsch, T. Karimov, E. Lefaucheux, J. Ouaknine, D. Purser, M. Whiteland, and J. Worrell.
Proc. of CONCUR 2022, LIPIcs 243.

The pseudo-reachability problem for diagonalisable linear dynamical systems. pdf doi
J. D'Costa, T. Karimov, R. Majumdar, J. Ouaknine, M. Salamati, and J. Worrell.
Proc. of MFCS 2202, LIPIcs 241.

What's decidable about linear loops? pdf doi
T. Karimov, E. Lefaucheux, J. Ouaknine, D. Purser, A. Varonka, M. Whiteland, and J. Worrell.
POPL 2022, Proc. of the ACM on Programming Languages, Volume 6.

The orbit problem for parametric linear dynamical systems. pdf doi
C. Baier, F. Funke, S. Jantsch, T. Karimov, E. Lefaucheux, F. Luca, J. Ouaknine, D. Purser, M. Whiteland, and J. Worrell.
Proc. of CONCUR 2021, LIPIcs 203.

The pseudo-Skolem problem is decidable. pdf doi
J. D'Costa, T. Karimov, R. Majumdar, J. Ouaknine, M. Salamati, S. Soudjani, and J. Worrell.
Proc. of MFCS 2021, LIPIcs 202.

Deciding ω-regular properties on linear recurrence sequences. pdf doi
S. Almagor, T. Karimov, E. Kelmendi, J. Ouaknine, and J. Worrell.
POPL 2021, Proc. of the ACM on Programming Languages, Volume 5.

Reachability in dynamical systems with rounding. pdf doi
C. Baier, F. Funke, S. Jantsch, T. Karimov, E. Lefaucheux, J. Ouaknine, A. Pouly, D. Purser, and M. Whiteland.
Proc. of FSTTCS 2020, LIPIcs 182.

On LTL model checking for low-dimensional discrete linear dynamical systems. pdf doi
T. Karimov, J. Ouaknine, and J. Worrell.
Proc. of MFCS 2020, LIPIcs 170.