@InProceedings{BCC+14,
author={T. Br{\'a}zdil and K. Chatterjee and M. Chmel\'{\i}k and V. Forejt and J. K\v{r}et\'{\i}nsk{\'y} and M. Kwiatkowska and D. Parker and M. Ujma},
title={Verification of {Markov} Decision Processes using Learning Algorithms},
booktitle={Proc. 12th International Symposium on Automated Technology for Verification and Analysis (ATVA'14)},
year={2014},

_editor={F. Cassez and J.-F. Raskin},
pages={98--114},
organization={},
publisher={Springer},
series={LNCS},
volume={8837},
address={},
month={},
note={},
key={}
}