@InProceedings{LPH14b,
author={B. Lacerda and D. Parker and N. Hawes},
title={Optimal and Dynamic Planning for Markov Decision Processes with Co-Safe LTL Specifications},
booktitle={Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'14)},
year={2014},

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