@InProceedings{LK16,
author={Morteza Lahijanian and Marta Kwiatkowska},
title={Specification Revision for {M}arkov Decision Processes with Optimal Trade-off},
booktitle={Proc. 55th Conference on Decision and Control ({CDC} 2016)},
year={2016},
pages={},
organization={},
publisher={{IEEE}},
volume={},
address={},
month={},
note={To appear.}
}