D
2018
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes
KŘETÍNSKÝ, Jan and Tobias MEGGENDORFER
Basic information
Original name
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes
Authors
KŘETÍNSKÝ, Jan (203 Czech Republic, guarantor, belonging to the institution) and Tobias MEGGENDORFER (276 Germany)
Edition
New York, NY, USA, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '18), p. 609-618, 10 pp. 2018
Other information
Type of outcome
Stať ve sborníku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
United States of America
Confidentiality degree
není předmětem státního či obchodního tajemství
Publication form
electronic version available online
RIV identification code
RIV/00216224:14330/18:00108288
Organization unit
Faculty of Informatics
Keywords in English
conditional value-at-risk; Markov chains; Markov decision processes; reachability; mean-payoff
V originále
We present the conditional value-at-risk (CVaR) in the context of Markov chains and Markov decision processes with reachability and mean-payoff objectives. CVaR quantifies risk by means of the expectation of the worst p-quantile. As such it can be used to design risk-averse systems. We consider not only CVaR constraints, but also introduce their conjunction with expectation constraints and quantile constraints (value-at-risk, VaR). We derive lower and upper bounds on the computational complexity of the respective decision problems and characterize the structure of the strategies in terms of memory and randomization.
Links
GA18-11193S, research and development project | Name: Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy | Investor: Czech Science Foundation |
|
Displayed: 4/11/2024 10:18