A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs.

Krishnendu Chatterjee Martin Chmelik Jessica Davies

Published in: AAAI (2016)

Keyphrases

dynamic programming
learning algorithm
optimization algorithm
detection algorithm
k means
optimal solution
computational cost
expectation maximization
preprocessing
worst case
search strategy
randomly generated
np hard
segmentation algorithm
optimal strategy