@InProceedings{LPH15, author={B. Lacerda and D. Parker and N. Hawes}, title={Optimal Policy Generation for Partially Satisfiable Co-Safe {LTL} Specifications}, booktitle={Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15)}, year={2015}, editor={}, pages={1587-1593}, organization={}, publisher={IJCAI/AAAI}, series={}, volume={}, address={}, _month={August}, note={}, key={} }