Mihir Vahanwala

21 papers A* 2A 1Journal 13Unranked 5
YearRankTypeTitle / Venue / Authors
2026 A* conf
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks.
AAAI
Rajab Aghamov, Christel Baier, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard
2025 — conf
Algorithmic Applications of Schanuel's Conjecture.
Principles of Formal Quantitative Analysis
Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
2025 J jnl
Automata on
CoRR
Valérie Berthé, Toghrul Karimov, Mihir Vahanwala
2025 J jnl
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks.
CoRR
Rajab Aghamov, Christel Baier, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard
2025 J jnl
The monadic theory of toric words.
Theor. Comput. Sci.
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
2024 — conf
Fairness and Liveness Under Weak Consistency.
Taming the Infinities of Concurrency
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankara Narayanan Krishna, Mihir Vahanwala
2024 — conf
Model Checking Markov Chains as Distribution Transformers.
Principles of Verification (2)
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
2024 J jnl
Model Checking Markov Chains as Distribution Transformers.
CoRR
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
2024 J jnl
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems.
Log. Methods Comput. Sci.
S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
2024 A* conf
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates.
LICS
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
2024 J jnl
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates.
CoRR
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
2024 J jnl
Skolem and positivity completeness of ergodic Markov chains.
Inf. Process. Lett.
Mihir Vahanwala
2023 J jnl
Characterising Robust Instances of Ultimate Positivity for Linear Dynamical Systems.
CoRR
Mihir Vahanwala
2023 — conf
Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models.
CAV (1)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala
2023 J jnl
Overcoming Memory Weakness with Unified Fairness.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala
2023 — conf
Robust Positivity Problems for Linear Recurrence Sequences: The Frontiers of Decidability for Explicitly Given Neighbourhoods.
FSTTCS
Mihir Vahanwala
2023 J jnl
Robust Positivity Problems for low-order Linear Recurrence Sequences.
CoRR
Mihir Vahanwala
2023 J jnl
Skolem and Positivity Completeness of Ergodic Markov Chains.
CoRR
Mihir Vahanwala
2023 J jnl
The Monadic Theory of Toric Words.
CoRR
Valérie Berthé, Toghrul Karimov, Joël Ouaknine, Mihir Vahanwala, James Worrell
2022 A conf
On Robustness for the Skolem and Positivity Problems.
STACS
S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
2022 J jnl
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems.
CoRR
S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala