A greedy approach for the efficient repair of stochastic models

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

Bookmark the permalink.