Showing 2026 · cs.AIShow all
3 papers · 2 filters
cs.AI2026
Solving Robust POMDPs with Omega-regular Objectives via Partially Observable Stochastic Games
Durgam Latha, Dion Reji, S. Akshay +3
Robust POMDPs (RPOMDPs) generalize classical POMDPs to the setting where exact transition probabilities are not known -- rather, they are only known to belong to some uncertainty s…
cs.AI2026
Entropy Objectives in Markov Decision Processes
S. Akshay, Raghav Goyal, Aditya Neeraje +1
We consider the problem of synthesizing control policies that enforce a concentration property on the state distributions of a stochastic system. We present a formalization of this…
cs.AI2026
Quantifying Sensitivity for Tree Ensembles: A symbolic and compositional approach
Ajinkya Naik, Chaitanya Garg, S. Akshay +2
Decision tree ensembles (DTE) are a popular model for a wide range of AI classification tasks, used in multiple safety critical domains, and hence verifying properties on these mod…