@InProceedings{LPH14a,
author={B. Lacerda and D. Parker and N. Hawes},
title={Optimal Motion Planning for Markov Decision Processes with Co-Safe Linear Temporal Logic Specifications},
booktitle={Proc. 31st Workshop of the UK Planning \& Scheduling Special Interest Group (PlanSIG)},
year={2014},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}