# A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs

> Research article (arXiv (Cornell University), 2015) · cited 24× · AI/ML

**Wikidata**: [openalex:W2963559826](https://www.wikidata.org/wiki/openalex:W2963559826)  
**Source**: https://4ort.xyz/entity/a-symbolic-sat-based-algorithm-for-almost-sure-reachability-with-small-strategies-in-pomdps