@PhDThesis{Ujm15,
author={M. Ujma},
title={On Verification and Controller Synthesis for Probabilistic Systems at Runtime.},
school={University of Oxford},
year={2015},

type={},
address={},
month={},
note={},
key={}
}