@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={} }