arXiv:0910.4738 [math.OC]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords dynamic programming, connections, probabilistic computation tree logic, finite-state markov chains, noncountable-space markov chains Tags journal article Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset