Dr Nick Hawes

This list is no longer actively maintained, but I will leave it here for reference. For an up to date list, please see my new site at the University of Oxford.

[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]