Mihir Vahanwala

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 14

Top Topics

Quantifier Free

Monadic Second Order Logic

Top Venues

Publications

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankara Narayanan Krishna, Mihir Vahanwala
Fairness and Liveness Under Weak Consistency. Taming the Infinities of Concurrency (2024)
S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems. Log. Methods Comput. Sci. 20 (2) (2024)
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. LICS (2024)
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. CoRR (2024)
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
Model Checking Markov Chains as Distribution Transformers. CoRR (2024)
Mihir Vahanwala
Characterising Robust Instances of Ultimate Positivity for Linear Dynamical Systems. CoRR (2023)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala
Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models. CAV (1) (2023)
Valérie Berthé, Toghrul Karimov, Joël Ouaknine, Mihir Vahanwala, James Worrell
The Monadic Theory of Toric Words. CoRR (2023)
Mihir Vahanwala
Robust Positivity Problems for low-order Linear Recurrence Sequences. CoRR (2023)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala
Overcoming Memory Weakness with Unified Fairness. CoRR (2023)
Mihir Vahanwala
Robust Positivity Problems for Linear Recurrence Sequences: The Frontiers of Decidability for Explicitly Given Neighbourhoods. FSTTCS (2023)
Mihir Vahanwala
Skolem and Positivity Completeness of Ergodic Markov Chains. CoRR (2023)
S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
On Robustness for the Skolem and Positivity Problems. STACS (2022)
S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems. CoRR (2022)