Publications

Papers and Write-ups

Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates
Accepted to appear in the proceeding of LICS 2024.
Parosh Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Mihir Vahanwala Fairness and Liveness under Weak Consistency
LNCS volume 14660 (Taming the Infinities of Concurrency, doi).
Valérie Berthé, Toghrul Karimov, Joël Ouaknine, Mihir Vahanwala, James Worrell The Monadic Theory of Toric Words
Submitted.
Mihir Vahanwala Characterising Robust Instances of Ultimate Positivity for Linear Dynamical Systems
Submitted.
Mihir Vahanwala Robust Positivity Problems for Linear Recurrence Sequences
Proceedings of FSTTCS 2023 (doi).
Parosh Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Mihir Vahanwala Overcoming Memory Weakness with Unified Fairness
Proceedings of CAV 2023 (doi).
Errata
Mihir Vahanwala Skolem and Positivity Completeness of Ergodic Markov Chains
Information Processing Letters, 186:106481 (doi).
S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
Accepted for publication in LMCS. Extended version of the conference paper which appeared in the proceedings of STACS 2022 (doi).