_id,doi,title
5443,10.15479/AT:IST-2015-325-v2-1,A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs