Percentile queries in multi-dimensional Markov decision processes

DOI10.1007/s10703-016-0262-7zbMath1360.68518MaRDI QIDQ5892424

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

Publication date: 15 May 2017

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-016-0262-7

zbMATH Keywords

Markov decision processes; percentile queries; quantitative objectives

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

90C40: Markov and semi-Markov decision processes

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)