On Robustness for the Skolem and Positivity Problems. - S. Akshay 001; Hugo Bazille; Blaise Genest; Mihir Vahanwala (STACS, 2022)

Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Adwait Godbole; Shankaranarayanan Krishna; Mihir Vahanwala (CAV (1), 2023)

Robust Positivity Problems for Linear Recurrence Sequences: The Frontiers of Decidability for Explicitly Given Neighbourhoods. - Mihir Vahanwala (FSTTCS, 2023)

Robust Positivity Problems for low-order Linear Recurrence Sequences. - Mihir Vahanwala (CoRR, 2023)

Overcoming Memory Weakness with Unified Fairness. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Adwait Godbole; Shankaranarayanan Krishna; Mihir Vahanwala (CoRR, 2023)

Characterising Robust Instances of Ultimate Positivity for Linear Dynamical Systems. - Mihir Vahanwala (CoRR, 2023)

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

Fairness and Liveness Under Weak Consistency. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Adwait Godbole; Shankara Narayanan Krishna; Mihir Vahanwala (Taming the Infinities of Concurrency, 2024)

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)

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)

Skolem and positivity completeness of ergodic Markov chains. - Mihir Vahanwala (Inf. Process. Lett., 2024)

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems. - S. Akshay 001; Hugo Bazille; Blaise Genest; Mihir Vahanwala (Log. Methods Comput. Sci., 2024)

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)

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