@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.} }