Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes.

Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur

Browse the full LICS paper archive.