Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications (2014)

First Author: Lacerda B
Attributed to:  Academic Centre of Excellence in Cyber Security Research - University of Birmingham funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1109/iros.2014.6942756

Publication URI: http://dx.doi.org/10.1109/iros.2014.6942756

Type: Conference/Paper/Proceeding/Abstract