Toghrul Karimov

Max Planck Institute for Software Systems
Campus E1 5
Saarbrücken, Germany
toghs at mpi<insert minus sign>sws.org

About me

I am a postdoctoral researcher at the MPI-SWS working on problems in verification of linear dynamical systems. From 2019 until this year, I was a PhD student at the MPI-SWS under the supervision of Joël Ouaknine. I received my undergraduate degree in computer science from University of Oxford. Here is my cv and dblp entry.

Publications

Multiple reachability in linear dynamical systems. pdf
T. Karimov, E. Kelmendi, J. Ouaknine, and J. Worrell.
Submitted.

Model checking Markov chains as distribution transformers. pdf
R. Aghamov, C. Baier, T. Karimov, J. Nieuwveld, J. Ouaknine, and M. Vahanwala.
Submitted.

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

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
V. Berthé, T. Karimov, J. Ouaknine, M. Vahanwala, and J. Worrell.
Submitted.

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.