Toghrul Karimov

33 papers A* 6B 5Journal 17Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
Algorithmic Applications of Schanuel's Conjecture.
Principles of Formal Quantitative Analysis
Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
2025 J jnl
Automata on
CoRR
Valérie Berthé, Toghrul Karimov, Mihir Vahanwala
2025 A* conf
Model Checking Linear Temporal Logic with Standpoint Modalities.
KR
Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Jakob Piribauer, Timm Spork
2025 J jnl
Model Checking Linear Temporal Logic with Standpoint Modalities.
CoRR
Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Jakob Piribauer, Timm Spork
2025 A* conf
Multiple Reachability in Linear Dynamical Systems.
LICS
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2025 A* conf
On the Decidability of Presburger Arithmetic Expanded with Powers.
SODA
Toghrul Karimov, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell
2025 J jnl
Quantization Robustness to Input Degradations for Object Detection.
CoRR
Toghrul Karimov, Hassan Imani, Allan Kazakov
2025 J jnl
The monadic theory of toric words.
Theor. Comput. Sci.
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
2025 A* conf
Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers.
ICALP
Toghrul Karimov
2024 — conf
Linear dynamical systems with continuous weight functions.
HSCC
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer
2024 — conf
Model Checking Markov Chains as Distribution Transformers.
Principles of Verification (2)
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
2024 J jnl
Model Checking Markov Chains as Distribution Transformers.
CoRR
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
2024 J jnl
Multiple Reachability in Linear Dynamical Systems.
CoRR
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2024 A* conf
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates.
LICS
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
2024 J jnl
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates.
CoRR
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
2024 J jnl
On the Decidability of Presburger Arithmetic Expanded with Powers.
CoRR
Toghrul Karimov, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell
2024 J jnl
Verification of Linear Dynamical Systems via O-Minimality of Real Numbers.
CoRR
Toghrul Karimov, Joël Ouaknine, James Worrell
2023 J jnl
The Monadic Theory of Toric Words.
CoRR
Valérie Berthé, Toghrul Karimov, Joël Ouaknine, Mihir Vahanwala, James Worrell
2023 A* conf
The Power of Positivity.
LICS
Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Joël Ouaknine, James Worrell
2022 B conf
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications.
CONCUR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
2022 B conf
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems.
MFCS
Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, James Worrell
2022 J jnl
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems.
CoRR
Julian D'Costa, Toghrul Karimov, Joël Ouaknine, Mahmoud Salamati, James Worrell
2022 — conf
What's Decidable About Discrete Linear Dynamical Systems?
Principles of Systems Design
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2022 J jnl
What's Decidable about Discrete Linear Dynamical Systems?
CoRR
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2022 J jnl
What's decidable about linear loops?
Proc. ACM Program. Lang.
Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell
2021 J jnl
Deciding ω-regular properties on linear recurrence sequences.
Proc. ACM Program. Lang.
Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2021 B conf
The Orbit Problem for Parametric Linear Dynamical Systems.
CONCUR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
2021 B conf
The Pseudo-Skolem Problem is Decidable.
MFCS
Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell
2020 J jnl
Deciding ω-Regular Properties on Linear Recurrence Sequences.
CoRR
Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2020 B conf
On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems.
MFCS
Toghrul Karimov, Joël Ouaknine, James Worrell
2020 J jnl
On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems.
CoRR
Toghrul Karimov, Joël Ouaknine, James Worrell
2020 — conf
Reachability in Dynamical Systems with Rounding.
FSTTCS
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
2020 J jnl
Reachability in Dynamical Systems with Rounding.
CoRR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland