Reachability in Dynamical Systems with Rounding. - Christel Baier; Florian Funke 002; Simon Jantsch; Toghrul Karimov; Engel Lefaucheux; Joël Ouaknine; Amaury Pouly; David Purser; Markus A. Whiteland (FSTTCS, 2020)

On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems. - Toghrul Karimov; Joël Ouaknine; James Worrell 001 (MFCS, 2020)

The Orbit Problem for Parametric Linear Dynamical Systems. - Christel Baier; Florian Funke 002; Simon Jantsch; Toghrul Karimov; Engel Lefaucheux; Florian Luca; Joël Ouaknine; David Purser; Markus A. Whiteland; James Worrell 001 (CONCUR, 2021)

The Pseudo-Skolem Problem is Decidable. - Julian D'Costa; Toghrul Karimov; Rupak Majumdar; Joël Ouaknine; Mahmoud Salamati; Sadegh Soudjani; James Worrell 001 (MFCS, 2021)

Deciding ω-regular properties on linear recurrence sequences. - Shaull Almagor; Toghrul Karimov; Edon Kelmendi; Joël Ouaknine; James Worrell 001 (Proc. ACM Program. Lang., 2021)

What's Decidable About Discrete Linear Dynamical Systems? - Toghrul Karimov; Edon Kelmendi; Joël Ouaknine; James Worrell 001 (Principles of Systems Design, 2022)

Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. - Christel Baier; Florian Funke 002; Simon Jantsch; Toghrul Karimov; Engel Lefaucheux; Joël Ouaknine; David Purser; Markus A. Whiteland; James Worrell 001 (CONCUR, 2022)

The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. - Julian D'Costa; Toghrul Karimov; Rupak Majumdar; Joël Ouaknine; Mahmoud Salamati; James Worrell 001 (MFCS, 2022)

The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. - Julian D'Costa; Toghrul Karimov; Joël Ouaknine; Mahmoud Salamati; James Worrell 001 (CoRR, 2022)

What's decidable about linear loops? - Toghrul Karimov; Engel Lefaucheux; Joël Ouaknine; David Purser; Anton Varonka; Markus A. Whiteland; James Worrell 001 (Proc. ACM Program. Lang., 2022)

The Power of Positivity. - Toghrul Karimov; Edon Kelmendi; Joris Nieuwveld; Joël Ouaknine; James Worrell 001 (LICS, 2023)

The Monadic Theory of Toric Words. - Valérie Berthé; Toghrul Karimov; Joël Ouaknine; Mihir Vahanwala; James Worrell 001 (CoRR, 2023)

Model Checking Markov Chains as Distribution Transformers. - Rajab Aghamov; Christel Baier; Toghrul Karimov; Joris Nieuwveld; Joël Ouaknine; Jakob Piribauer; Mihir Vahanwala (Principles of Verification (2), 2024)

Linear dynamical systems with continuous weight functions. - Rajab Aghamov; Christel Baier; Toghrul Karimov; Joël Ouaknine; Jakob Piribauer (HSCC, 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 001 (LICS, 2024)

Multiple Reachability in Linear Dynamical Systems. - Toghrul Karimov; Edon Kelmendi; Joël Ouaknine; James Worrell 001 (CoRR, 2024)

Verification of Linear Dynamical Systems via O-Minimality of Real Numbers. - Toghrul Karimov; Joël Ouaknine; James Worrell 001 (CoRR, 2024)

Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers. - Toghrul Karimov (ICALP, 2025)

On the Decidability of Presburger Arithmetic Expanded with Powers. - Toghrul Karimov; Florian Luca; Joris Nieuwveld; Joël Ouaknine; James Worrell 001 (SODA, 2025)

The monadic theory of toric words. - Valérie Berthé; Toghrul Karimov; Joris Nieuwveld; Joël Ouaknine; Mihir Vahanwala; James Worrell 001 (Theor. Comput. Sci., 2025)

Model Checking Linear Temporal Logic with Standpoint Modalities. - Rajab Aghamov; Christel Baier; Toghrul Karimov; Rupak Majumdar; Joël Ouaknine; Jakob Piribauer; Timm Spork (CoRR, 2025)

Automata on S-adic words. - Valérie Berthé; Toghrul Karimov; Mihir Vahanwala (CoRR, 2025)