Finite-Horizon Synthesis for Probabilistic Manipulation Domains | IEEE Conference Publication | IEEE Xplore