@doctoralThesis{Hatefi Ardakani_2016,
title={Finite horizon analysis of Markov automata},
author={Hatefi Ardakani, Hassan},
doi={http://dx.doi.org/10.22028/D291-26690},
year={2016}
}