Convex synthesis of optimal policies for Markov Decision Processes with sequentially-observed transitions | IEEE Conference Publication | IEEE Xplore