research
∙
09/29/2017
Sensor Synthesis for POMDPs with Reachability Objectives
Partially observable Markov decision processes (POMDPs) are widely used ...
share
research
∙
02/24/2016
Stochastic Shortest Path with Energy Constraints in POMDPs
We consider partially observable Markov decision processes (POMDPs) with...
research
∙
11/26/2015
A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs
POMDPs are standard models for probabilistic planning problems, where an...
research
∙
11/14/2014
Optimal Cost Almost-sure Reachability in POMDPs
We consider partially observable Markov decision processes (POMDPs) with...
research
∙
08/09/2014