Papers and Write-ups

• Parosh Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Mihir Vahanwala Unified Fairness for Weak Memory Verification
  Submitted. Extended version of the CAV 2023 paper.
  
• Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala Model Checking Markov Chains as Distribution Transformers
  LNCS Volume 15261 (Principles of Verification: Cycling the Probabilistic Landscape, doi).
• 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
  Proceedings of LICS 2024 (doi). Distinguished Paper Award.
• 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, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell The Monadic Theory of Toric Words
  Theoretical Computer Science Volume 1025 (doi).
• 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
  LMCS Volume 20, Issue 2 (doi). Extended version of the conference paper which appeared in the proceedings of STACS 2022 (doi).

Talks

• On the Monadic Second-Order Theory of Arithmetic Predicates (Technical)
  Invited Talk at IRIF Automata Seminar 2024, Paris
• On the Monadic Second-Order Theory of Arithmetic Predicates (General)
  SymDynAr 2024, Roscoff; Invited Talk at TCS Seminar Series 2024, CMI, Chennai
• Skolem and Positivity Completeness of Ergodic Markov Chains
  Highlights 2023, Kassel
• Robust Positivity Problems for Linear Recurrence Sequences
  Dynamical Systems 2023, Barbados; Highlights 2023, Kassel; FSTTCS 2023, Hyderabad
• Overcoming Memory Weakness with Unified Fairness
  CAV 2023, Paris; RHPL 2023, Hyderabad
  
• On Robustness for Linear Recurrence Sequences
  Invited talk, STCS Seminar 2023, TIFR, Mumbai

Go back up
Home
LaTeX Course
Hobbies
Imprint
Data Protection