Mickael Randour, Jean-François Raskin, Ocan Sankur. Percentile queries in multi-dimensional Markov decision processes. Formal Methods in System Design, 50(2-3):207-248, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.