Mihir Vahanwala

According to our database, Mihir Vahanwala authored at least 12 papers between 2022 and 2024.

Collaborative distances:

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

2024

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

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

Log. Methods Comput. Sci., 2024

Skolem and positivity completeness of ergodic Markov chains.

Mihir Vahanwala

Inf. Process. Lett., 2024

Model Checking Markov Chains as Distribution Transformers.

Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala

CoRR, 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

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Fairness and Liveness Under Weak Consistency.

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

Proceedings of the Taming the Infinities of Concurrency, 2024

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

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 and Positivity Problems.

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

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