171 citations · 1.1k across the 134 of their papers we have counts for
3 papers · 2 filters
Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games
Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani
Simple board games, like Tic-Tac-Toe and CONNECT-4, play an important role not only in the development of mathematical and logical skills, but also in the emotional and social deve…
Optimal Cost Almost-sure Reachability in POMDPs
Krishnendu Chatterjee, Martin Chmelík, Raghav Gupta +1
We consider partially observable Markov decision processes (POMDPs) with a set of target states and every transition is associated with an integer cost. The optimization objective…
POMDPs under Probabilistic Semantics
Krishnendu Chatterjee, Martin Chmelik
We consider partially observable Markov decision processes (POMDPs) with limit-average payoff, where a reward value in the interval [0,1] is associated to every transition, and the…