Conference item icon

Conference item

Multi-objective robust strategy synthesis for Interval Markov decision processes

Abstract:

Interval Markov decision processes (IMDPs) generalise classical MDPs by having interval-valued transition probabilities. They provide a powerful modelling tool for probabilistic systems with an additional variation or uncertainty that prevents the knowledge of the exact transition probabilities. In this paper, we consider the problem of multi-objective robust strategy synthesis for interval MDPs, where the aim is to find a robust strategy that guarantees the satisfaction of multiple propertie...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-319-66335-7_13

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
National Natural Science Foundation of China More from this funder
Chinese Academy of Sciences More from this funder
Publisher:
Springer Publisher's website
Journal:
14th International Conference on Quantitative Evaluation of SysTems (QEST 2017) Journal website
Host title:
14th International Conference on Quantitative Evaluation of SysTems (QEST 2017)
Publication date:
2017-08-01
Acceptance date:
2017-05-29
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
Source identifiers:
729901
ISBN:
9783319663340
Pubs id:
pubs:729901
UUID:
uuid:9b07b0c3-6a71-4ce4-a8da-4b5610837cd4
Local pid:
pubs:729901
Deposit date:
2017-10-11

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