Paper accepted at TACAS 2018

The paper “Multi-Cost Bounded Reachability in MDPs” by Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen and Tim Quatmann has been accepted for TACAS 2018. The paper presemts an efficient algorithm for multi-objective model checking problems on Markov decision processes (MDPs) with multiple cost structures.