Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer
Value Iteration for Long-Run Average Reward in Markov Decision Processes
CAV, 2017.
@inproceedings{CAV-2017-AshokCDKM,
author = "Pranav Ashok and Krishnendu Chatterjee and Przemyslaw Daca and Jan Kretínský and Tobias Meggendorfer",
booktitle = "{Proceedings of the 29th International Conference on Computer Aided Verification, Part I}",
doi = "10.1007/978-3-319-63387-9_10",
isbn = "['978-3-319-63386-2', '978-3-319-63387-9']",
pages = "201--221",
publisher = "{Springer}",
title = "{Value Iteration for Long-Run Average Reward in Markov Decision Processes}",
year = 2017,
}