@inproceedings{DBLP:conf/aaai/LahijanianAFKV15,
  title = "This Time the Robot Settles for a Cost: {A} Quantitative Approach to Temporal Logic Planning with Partial Satisfaction",
  author = "Morteza Lahijanian and Shaull Almagor and Dror Fried and Lydia E. Kavraki and Moshe Y. Vardi",
  year = "2015",
  booktitle = "Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, {USA.}",
  editor = "Blai Bonet and Sven Koenig",
  isbn = "978-1-57735-698-1",
  pages = "3664--3671",
  url = "http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/10001",
}