Toghrul Karimov

According to our database, Toghrul Karimov authored at least 19 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

The monadic theory of toric words.

Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell

Theor. Comput. Sci., 2025

2024

Verification of Linear Dynamical Systems via O-Minimality of Real Numbers.

Toghrul Karimov, Joël Ouaknine, James Worrell

CoRR, 2024

On the Decidability of Presburger Arithmetic Expanded with Powers.

Toghrul Karimov, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell

CoRR, 2024

Model Checking Markov Chains as Distribution Transformers.

Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala

CoRR, 2024

Multiple Reachability in Linear Dynamical Systems.

Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell

CoRR, 2024

On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates.

Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Linear dynamical systems with continuous weight functions.

Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

2023

The Monadic Theory of Toric Words.

Valérie Berthé, Toghrul Karimov, Joël Ouaknine, Mihir Vahanwala, James Worrell

CoRR, 2023

The Power of Positivity.

Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Joël Ouaknine, James Worrell

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

What's decidable about linear loops?

Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell

Proc. ACM Program. Lang., 2022

The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems.

Julian D'Costa, Toghrul Karimov, Joël Ouaknine, Mahmoud Salamati, James Worrell

CoRR, 2022

The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems.

Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, James Worrell

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications.

Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

What's Decidable About Discrete Linear Dynamical Systems?

Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell

Proceedings of the Principles of Systems Design, 2022

2021

Deciding ω-regular properties on linear recurrence sequences.

Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell

Proc. ACM Program. Lang., 2021

The Pseudo-Skolem Problem is Decidable.

Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

The Orbit Problem for Parametric Linear Dynamical Systems.

Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems.

Toghrul Karimov, Joël Ouaknine, James Worrell

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

Reachability in Dynamical Systems with Rounding.

Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020