@doctoralThesis{Hashemi_2017,
title={Decision algorithms for modelling, optimal control and verification of probabilistic systems},
author={Hashemi, Vahid},
doi={http://dx.doi.org/10.22028/D291-27039},
year={2017}
}