@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={} }