@inproceedings{lacerda_sdmia15,
 author = {Bruno Lacerda and David Parker and Nick Hawes},
 title = {Nested Value Iteration for Partially Satisfiable Co-Safe LTL Specifications (Extended Abstract)},
 booktitle = {AAAI Fall Symposium on Sequential Decision Making for Intelligent Agents (SDMIA)},
 year = {2015},
 address = {Arlington, Virginia, USA},
 }