About me

Since 2019, I am a PhD student at the MPI-SWS working with Joël Ouaknine on problems in verification of linear dynamical systems. Prior to that, I was an undergraduate studying Computer Science at the University of Oxford. Here is my dblp entry.

Publications

On the decidability of monadic second-order logic with arithmetic predicates. pdf
V. Berthé, T. Karimov, J. Nieuwveld, J. Ouaknine, M. Vahanwala, and J. Worrell.
Submitted.

Algorithmic verification of linear dynamical systems. pdf
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
R. Aghamov, C. Baier, T. Karimov, J. Piribauer, and J. Ouaknine.
Accepted to HSCC 2024.

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.