Showing 2026Show all
2 papers · 1 filter
cs.AI2026
Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning
Debraj Chakraborty, Anirban Majumdar, Prince Mathew +2
Partially Observable Markov Decision Processes (POMDPs) are the standard framework for decision-making under uncertainty. While sampling-based methods scale well, they lack formal…
cs.FL2026
Edit Distance of Finite-Valued Transducers
Prince Mathew, Saina Sunny
Transducers generalise automata by producing output word(s) for each input word, thereby defining a relation over words. A transducer is said to be finite-valued if, for every inpu…