Arrow Research search
Back to Highlights

Highlights 2021

Risk-aware Reachability and SSP

Conference Abstract SESSION 10B: Verification II Logic in Computer Science ยท Theoretical Computer Science

Abstract

We present a novel approach to risk in reachability and stochastic shortest path (SSP) problems on Markov chains and decision processes. In particular, we consider the time to arrive at the goal states and the total accumulated cost on the way, respectively, to quantify risk. Motivated by our previous work, we employ conditional value-at-risk (CVaR) as measure of risk. In essence, CVaR quantifies risk as the expectation of the worst p-quantile. We present ongoing work on the computational complexity of the respective decision problems, structure of optimal strategies, and, in contrast to our previous work, also a value iteration algorithm.

Authors

Keywords

No keywords are indexed for this paper.

Context

Venue
Highlights of Logic, Games and Automata
Archive span
2013-2025
Indexed papers
1236
Paper id
687504970446746988
v2026.09.13