David Parker
Professor of 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 (398 KB)
bib
|
|