DOI,IST REx ID,Research Group,Title of publication
null,1166,"KrCh,ToHe",A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps