A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs.

Krishnendu Chatterjee, Martin Chmelik, Jessica Davies

Browse the full AAAI paper archive.