@InProceedings{ACK16,
author={Alessandro Abate and Milan Ceska and Marta Kwiatkowska},
title={Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations},
booktitle={Proc. 14th 14th International Symposium on Automated Technology for Verification and Analysis ({ATVA} 2016)},
year={2016},
pages={},
organization={},
publisher={Springer},
series={LNCS},
volume={},
address={},
month={},
note={To appear.}
}