Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives

Open in new window