Percentile queries in multi-dimensional Markov decision processes

DOI10.1007/978-3-319-21690-4_8zbMath1381.68219arXiv1410.4801OpenAlexW2599078145MaRDI QIDQ5915876

Ocan Sankur, Jean-François Raskin, Mickael Randour

Publication date: 1 March 2018

Published in: Computer Aided Verification (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (9)

The Odds of Staying on Budget ⋮ Reachability Problems for One-Dimensional Piecewise Affine Maps ⋮ Compositional strategy synthesis for stochastic games with multiple objectives ⋮ Ratio and Weight Quantiles ⋮ Unnamed Item ⋮ Percentile queries in multi-dimensional Markov decision processes ⋮ Non-deterministic Weighted Automata on Random Words ⋮ Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games ⋮ Non-deterministic weighted automata evaluated over Markov chains

This page was built for publication: Percentile queries in multi-dimensional Markov decision processes