DOI,IST REx ID,Research Group,Title of publication
null,1166,"KrCh,ToHe",A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps
10.15479/AT:IST-2015-325-v2-1,5443,KrCh,A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs