@InProceedings{lacerda2015ijcai,
  author = 	 {Bruno Lacerda and David Parker and Nick Hawes},
  title = 	 {Optimal Policy Generation for Partially Satisfiable Co-Safe {LTL} Specifications},
  booktitle = 	 {Proc. of 24th Int. Joint Conf. on Artificial Intelligence (IJCAI)},
  year =	 {2015},
  address =	 {Buenos Aires, Argentina},
  }