Krishnendu Chatterjee, Martin Chmelik, Jessica Davies: A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. AAAI 2016: 3225-3232