Conference item icon

Conference item

Computing quantiles in Markov Chains with multi-dimensional costs

Abstract:

Probabilistic systems that accumulate quantities such as energy or cost are naturally modelled by cost chains, which are Markov chains whose transitions are labelled with a vector of numerical costs. Computing information on the probability distribution of the total accumulated cost is a fundamental problem in this model. In this paper, we study the so-called cost problem, which is to compute quantiles of the total cost, such as the median cost or the probability of large costs. While it is a...

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

Actions


Access Document


Files:
Publisher copy:
10.1109/LICS.2017.8005090

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
More from this funder
Name:
Labex Digicosme
Grant:
VERICONISS
Publisher:
Institute of Electrical and Electronics Engineers
Host title:
Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Journal:
Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) More from this journal
Publication date:
2017-08-01
Acceptance date:
2017-03-21
DOI:
ISSN:
1043-6871
Pubs id:
pubs:691405
UUID:
uuid:e7a714fe-c958-4ab2-8a4d-13a2ae5e4203
Local pid:
pubs:691405
Source identifiers:
691405
Deposit date:
2017-04-27

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