Skip to Main content Skip to Navigation
Conference papers

Percentile Queries in Multi-dimensional Markov Decision Processes

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01245196
Contributor : Ocan Sankur <>
Submitted on : Wednesday, December 16, 2015 - 8:16:00 PM
Last modification on : Friday, March 6, 2020 - 1:31:46 AM

Links full text

Identifiers

Citation

Mickaël Randour, Jean-François Raskin, Ocan Sankur. Percentile Queries in Multi-dimensional Markov Decision Processes. 27th International Conference on Computer Aided Verification (CAV 2015), Jul 2015, San Francisco, United States. ⟨10.1007/978-3-319-21690-4_8⟩. ⟨hal-01245196⟩

Share

Metrics

Record views

398