Toghrul Karimov

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 22

Top Topics

Dynamical Systems

Top Venues

Proc. ACM Program. Lang.

Publications

Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer
Linear dynamical systems with continuous weight functions. HSCC (2024)
Toghrul Karimov, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell
On the Decidability of Presburger Arithmetic Expanded with Powers. CoRR (2024)
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
Multiple Reachability in Linear Dynamical Systems. CoRR (2024)
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates. LICS (2024)
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates. CoRR (2024)
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
Model Checking Markov Chains as Distribution Transformers. CoRR (2024)
Valérie Berthé, Toghrul Karimov, Joël Ouaknine, Mihir Vahanwala, James Worrell
The Monadic Theory of Toric Words. CoRR (2023)
Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Joël Ouaknine, James Worrell
The Power of Positivity. LICS (2023)
Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, James Worrell
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. MFCS (2022)
Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell
What's decidable about linear loops? Proc. ACM Program. Lang. 6 (POPL) (2022)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. CONCUR (2022)
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
What's Decidable about Discrete Linear Dynamical Systems? CoRR (2022)
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
What's Decidable About Discrete Linear Dynamical Systems? Principles of Systems Design (2022)
Julian D'Costa, Toghrul Karimov, Joël Ouaknine, Mahmoud Salamati, James Worrell
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. CoRR (2022)
Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
Deciding ω-regular properties on linear recurrence sequences. Proc. ACM Program. Lang. 5 (POPL) (2021)
Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell
The Pseudo-Skolem Problem is Decidable. MFCS (2021)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
The Orbit Problem for Parametric Linear Dynamical Systems. CONCUR (2021)
Toghrul Karimov, Joël Ouaknine, James Worrell
On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems. CoRR (2020)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
Reachability in Dynamical Systems with Rounding. CoRR (2020)
Toghrul Karimov, Joël Ouaknine, James Worrell
On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems. MFCS (2020)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
Reachability in Dynamical Systems with Rounding. FSTTCS (2020)
Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
Deciding ω-Regular Properties on Linear Recurrence Sequences. CoRR (2020)