Chatterjee, K.; Chmelik, M.; Gupta, R.; Kanodia, A. Optimal Cost Almost-Sure Reachability in POMDPs. AAAI 2015, 29.