Mihir Vahanwala

activity

20222026

most citedSkolem and Positivity Completeness of Ergodic Markov Chains

1 citations · 3 across the 13 of their papers we have counts for

collaborators

Showing cs.FLShow all

2 papers · 1 filter

cs.FL2026

Preservation Theorems for Transducer Outputs

Valérie Berthé, Herman Goulet-Ouellet, Toghrul Karimov +2

Suppose we have a deterministic finite-state transducer $A$ and an infinite word $x$ , and run $A$ on $x$ to obtain an infinite word $A (x)$ . Which properties of $x$ are guaranteed t…

cs.FL2025

Automata on $S$ -adic words

Valérie Berthé, Toghrul Karimov, Mihir Vahanwala

A fundamental question in logic and verification is the following: for which unary predicates $P_{1}, \dots, P_{k}$ is the monadic second-order theory of $\langle \mathbb{N}; <, P_1,…

Preservation Theorems for Transducer Outputs

Automata on S-adic words

Automata on $S$ -adic words