Journal article icon

Journal article

MULTI-OBJECTIVE MODEL CHECKING OF MARKOV DECISION PROCESSES

Abstract:

We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regular or LTL) properties φi, and probabilities ri ∈ [0,1], i=1,...,k, we ask whether there exists a strategy σ for the controller such that, for all i, the probability that a trajectory of M controlled by σ satisfies φi is at least ri. We provide an algorithm that decides whether there exists such a strategy and if so ...

Expand abstract
Publication status:
Published

Actions


Access Document


Publisher copy:
10.2168/LMCS-4(4:8)2008
Journal:
LOGICAL METHODS IN COMPUTER SCIENCE More from this journal
Volume:
4
Issue:
4
Publication date:
2008-01-01
DOI:
EISSN:
1860-5974
ISSN:
1860-5974
Language:
English
Keywords:
Pubs id:
pubs:328857
UUID:
uuid:0c1f87a1-3b54-4267-89c0-2fb91afc46cf
Local pid:
pubs:328857
Source identifiers:
328857
Deposit date:
2013-11-17

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP