bibliographer - Mihir Vahanwala

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems S. Akshay Hugo Bazille Blaise Genest Mihir Vahanwala [github]

Model Checking Markov Chains as Distribution Transformers Rajab Aghamov Christel Baier Toghrul Karimov Joris Nieuwveld Joel Ouaknine Jakob Piribauer Mihir Vahanwala [github]

On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates Valérie Berthé Toghrul Karimov Joris Nieuwveld Joel Ouaknine Mihir Vahanwala James Worrell [github]

Characterising Robust Instances of Ultimate Positivity for Linear Dynamical Systems Mihir Vahanwala [github]

The Monadic Theory of Toric Words Valérie Berthé Toghrul Karimov Joel Ouaknine Mihir Vahanwala James Worrell [github]

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems S. Akshay Hugo Bazille Blaise Genest Mihir Vahanwala [github]

Skolem and Positivity Completeness of Ergodic Markov Chains Mihir Vahanwala [github]

Robust Positivity Problems for low-order Linear Recurrence Sequences Mihir Vahanwala [github]

Library Size: 13G (8 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]