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