Toghrul Karimov

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

About me

Since 2019, I am a PhD student at 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 University of Oxford. Here is my cv and dblp entry.

Publications

The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. pdf
J. D'Costa, T. Karimov, R. Majumdar, J. Ouaknine, M. Salamati and J. Worrell.
Submitted.

What's decidable about linear dynamical systems? pdf
T. Karimov, E. Kelmendi, J. Ouaknine and J. Worrell.
Submitted.

What's decidable about linear loops? pdf doi
T. Karimov, E. Lefaucheux, J. Ouaknine, D. Purser, A. Varonka, M. Whiteland, and J. Worrell.
POPL22, 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 21, 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 21, LIPIcs 202.

Deciding ω-regular properties on linear recurrence sequences. pdf doi
S. Almagor, T. Karimov, E. Kelmendi, J. Ouaknine, and J. Worrell.
POPL21, 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 20, 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 20, LIPIcs 170.