Dr Nick Hawes

[LPH14b] B. Lacerda, D. Parker and N. Hawes. Optimal and Dynamic Planning for Markov Decision Processes with Co-Safe LTL Specifications. In Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'14), IEEE. September 2014. [pdf] [bib]
Download:  pdf pdf (1.14 MB)  bib bib
Links: [Google Scholar] [CiteSeer]