3 papers
cs.FL2026
Localising Stochasticity in Weighted Automata
Smayan Agarwal, Aalok Thakkar
Weighted automata over the nonnegative reals form a fundamental model for quantitative languages. We show that, up to scaling, this model collapses to probabilistic automata. Concr…
cs.FL2025
Stochastic Languages at Sub-stochastic Cost
Smayan Agarwal, Aalok Thakkar
When does a deterministic computational model define a probability distribution? What are its properties? This work formalises and settles this stochasticity problem for weighted a…
cs.FL2025
Identity Testing for Stochastic Languages
Smayan Agarwal, Shobhit Singh, Aalok Thakkar
Determining whether an unknown distribution matches a known reference is a cornerstone problem in distributional analysis. While classical results establish a rigorous framework in…