Mihir Vahanwala

According to our database, Mihir Vahanwala authored at least 9 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

The Monadic Theory of Toric Words.

Valérie Berthé, Toghrul Karimov, Joël Ouaknine, Mihir Vahanwala, James Worrell

CoRR, 2023

Characterising Robust Instances of Ultimate Positivity for Linear Dynamical Systems.

Mihir Vahanwala

CoRR, 2023

Overcoming Memory Weakness with Unified Fairness.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala

CoRR, 2023

Skolem and Positivity Completeness of Ergodic Markov Chains.

Mihir Vahanwala

CoRR, 2023

Robust Positivity Problems for low-order Linear Recurrence Sequences.

Mihir Vahanwala

CoRR, 2023

Robust Positivity Problems for Linear Recurrence Sequences: The Frontiers of Decidability for Explicitly Given Neighbourhoods.

Mihir Vahanwala

Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023

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

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems.

S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala

CoRR, 2022

On Robustness for the Skolem and Positivity Problems.

S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala

Proceedings of the 39th International Symposium on Theoretical Aspects of Computer Science, 2022