53 citations · 127 across the 7 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.AI2014
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…
cs.LO2014
Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications
Krishnendu Chatterjee, Martin Chmelík, Raghav Gupta +1
We consider partially observable Markov decision processes (POMDPs), that are a standard framework for robotics applications to model uncertainties present in the real world, with…