1. Approximate Verification of the Symbolic Dynamics of Markov Chains
2. Reachability problems for Markov chains
3. S. Almagor , T. Karimov , E. Kelmendi , J. Ouaknine , and J. Worrell . 2021. Deciding ω-regular properties on linear recurrence sequences . Proc. ACM Program. Lang. 5, POPL ( 2021 ). S. Almagor, T. Karimov, E. Kelmendi, J. Ouaknine, and J. Worrell. 2021. Deciding ω-regular properties on linear recurrence sequences. Proc. ACM Program. Lang. 5, POPL (2021).
4. C. Baier , F. Funke , S. Jantsch , T. Karimov , E. Lefaucheux , F. Luca , J. Ouaknine , D. Purser , M. A. Whiteland , and J. Worrell . 2021 . The Orbit Problem for Parametric Linear Dynamical Systems. In 32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference(LIPIcs, Vol. 203) , Serge Haddad and Daniele Varacca (Eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 28:1–28:17. C. Baier, F. Funke, S. Jantsch, T. Karimov, E. Lefaucheux, F. Luca, J. Ouaknine, D. Purser, M. A. Whiteland, and J. Worrell. 2021. The Orbit Problem for Parametric Linear Dynamical Systems. In 32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference(LIPIcs, Vol. 203), Serge Haddad and Daniele Varacca (Eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 28:1–28:17.
5. A. Baker . 2012. A Comprehensive Course in Number Theory . Cambridge University Press . A. Baker. 2012. A Comprehensive Course in Number Theory. Cambridge University Press.