by Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen
Reference:
A greedy approach for the efficient repair of stochastic models (Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen), Chapter in NASA Formal Methods, Springer International Publishing, 2015.
Bibtex Entry:
@incollection{pathak2015greedy,
title={A greedy approach for the efficient repair of stochastic models},
author={Pathak, Shashank and {'A}brah{'a}m, Erika and Jansen, Nils and Tacchella, Armando and Katoen, Joost-Pieter},
booktitle={NASA Formal Methods},
pages={295--309},
year={2015},
publisher={Springer International Publishing}
}