Showing 2025Show all
2 papers · 1 filter
cs.FL2025
Recognizing Numbers
Pranshu Gaba, Arnab Sur
The use of monoids in the study of word languages recognized by finite-state automata has been quite fruitful. In this work, we look at the same idea of "recognizability by finite…
cs.GT2025
Optimising expectation with guarantees for window mean payoff in Markov decision processes
Pranshu Gaba, Shibashis Guha
The window mean-payoff objective strengthens the classical mean-payoff objective by computing the mean-payoff over a finite window that slides along an infinite path. Two variants…