David Parker
Reader, Computer Science, University of Birmingham
[LPH15b] Bruno Lacerda, David Parker and Nick Hawes. Nested Value Iteration for Partially Satisfiable Co-Safe LTL Specifications (Extended Abstract). In Proc. AAAI Fall Symposium on Sequential Decision Making for Intelligent Agents (SDMIA), pages 54-55. November 2015. [pdf] [bib]
Downloads:  pdf pdf (398 KB)  bib bib