Computing Quantiles in Markov Reward Models

DOI10.1007/978-3-642-37075-5_23zbMath1260.68285arXiv1301.1818OpenAlexW1555770805MaRDI QIDQ4910430

Michael Ummels, Christel Baier

Publication date: 18 March 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1301.1818

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (8)

The Odds of Staying on Budget ⋮ Quantile Markov Decision Processes ⋮ Ratio and Weight Quantiles ⋮ Multi-cost bounded tradeoff analysis in MDP ⋮ Percentile queries in multi-dimensional Markov decision processes ⋮ Model Checking Exact Cost for Attack Scenarios ⋮ Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking ⋮ Probabilistic Model Checking for Energy-Utility Analysis

This page was built for publication: Computing Quantiles in Markov Reward Models