Mdp Optimal Control under Temporal Logic Constraints

Mdp Optimal Control under Temporal Logic Constraints

In this paper, we develop a method to automatically generate a control policy for a dynamical system modeled as a Markov Decision Process (MDP). The control specification is given as a Linear Temporal Logic (LTL) formula over a set of propositions defined on the states of the MDP. We synthesize a co...

Full description

Bibliographic Details
Main Authors: Ding, Xu Chu, Smith, Stephen L., Belta, Calin, Rus, Daniela L.
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:en_US
Published: Institute of Electrical and Electronics Engineers (IEEE) 2012
Online Access:http://hdl.handle.net/1721.1/72538
https://orcid.org/0000-0001-5473-3566

Internet

http://hdl.handle.net/1721.1/72538
https://orcid.org/0000-0001-5473-3566

Similar Items