@inproceedings{ashok2017value,
title={Value iteration for long-run average reward in Markov decision processes},
author={Ashok, Pranav and Chatterjee, Krishnendu and Daca, Przemys{\l}aw and K{\v{r}}et{\'\i}nsk{\`y}, Jan and Nguyen, T and Meggendorfer, Tobias},
booktitle={International Conference on Computer Aided Verification},
pages={201--221},
year={2017},
organization={Springer}
}