|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 4 of 5 found articles
| Title: |
Markov Decision Processes and Deterministic Büchi Automata |
| Author: |
Danièle Beauquier |
| Appeared in: |
Fundamenta informaticae |
| Paging: | Volume 50 (2003) nr. 1 pages 1-13 |
| Year: |
2003-07-11 |
| Contents: |
We prove that given a Markov Decision Process (MDP) and a fixed subset of its states~F, there is a Markov policy which maximizes everywhere the probability to reach F infinitely often. Moreover such a maximum policy is computable in polytime in the size of the MDP. This result can be applied in order to control a system with randomized or uncertain behavior with respect to a given property to optimize. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 4 of 5 found articles
| << previous | next >> |