Dr Nick Hawes

[lacerda_sdmia15] Bruno Lacerda, David Parker and Nick Hawes. Nested Value Iteration for Partially Satisfiable Co-Safe LTL Specifications (Extended Abstract). In AAAI Fall Symposium on Sequential Decision Making for Intelligent Agents (SDMIA). 2015. [bib]
Download:  bib bib
Links: [Google Scholar] [CiteSeer]