Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families

Milan Češka, Sebastian Junges, Luko van der Maas +2

Computing optimal conditional reachability probabilities in Markov decision processes (MDPs) is tractable by a reduction to reachability probabilities. Yet, this reduction yields c…