@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'16)},
year={2016},

editors={},
pages={7411-7418},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}