Conference item icon

Conference item

Decidability results for multi-objective stochastic games

Abstract:

We study stochastic two-player turn-based games in which the objective of one player is to ensure several infinite-horizon total reward objectives, while the other player attempts to spoil at least one of the objectives. The games have previously been shown not to be determined, and an approximation algorithm for computing a Pareto curve has been given. The major drawback of the existing algorithm is that it needs to compute Pareto curves for finite horizon objectives (for increasing length o...

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

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-319-46520-3_15

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Publisher:
Springer Publisher's website
Journal:
ATVA 2016 Journal website
Volume:
LNCS: 9938
Pages:
227-243
Host title:
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Publication date:
2016-01-01
Acceptance date:
2016-06-16
DOI:
ISSN:
0302-9743
Source identifiers:
632187
ISBN:
9783319465197
Pubs id:
pubs:632187
UUID:
uuid:1fe7a9cd-4cb2-45b5-9356-4a6080eacbff
Local pid:
pubs:632187
Deposit date:
2016-07-05

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