Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives

Guy Avni, Martin Kurečka, Kaushik Mallik +2

Graph games are fundamental in strategic reasoning of multi-agent systems and their environments. We study a new family of graph games which combine stochastic environmental uncert…