Paper accepted at NFM 2015

Our paper “A Greedy Approach for the Efficient Repair of Stochastic Models” by Shashank Pathak, Erika ÁbrahámNils Jansen, Armando Tacchella, and Joost-Pieter Katoen was accepted at NFM 2015. The paper addresses the problem of model repair for parametric discrete-time Markov chains which consists of changing a model with minimal costs such that a desired property is satisfied. We present a greedy algorithm iteratively changing probability distributions. We show the correctness in the sense that every local repair step improves the global problem and completeness in the sense that an optimum is always reached.