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} }