%0 Journal Article %1 journals/fmsd/RandourRS17 %A Randour, Mickael %A Raskin, Jean-François %A Sankur, Ocan %D 2017 %J Formal Methods Syst. Des. %K %N 2-3 %P 207-248 %T Percentile queries in multi-dimensional Markov decision processes. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd50.html#RandourRS17 %V 50

@article{journals/fmsd/RandourRS17, added-at = {2023-12-12T22:37:30.000+0100}, author = {Randour, Mickael and Raskin, Jean-François and Sankur, Ocan}, biburl = {https://www.bibsonomy.org/bibtex/2e695c653f8395e3e1ddc7e53a3be3b7f/admin}, ee = {https://doi.org/10.1007/s10703-016-0262-7}, interhash = {4c42d2aa97e8af2b8f3979685e5f2bf1}, intrahash = {e695c653f8395e3e1ddc7e53a3be3b7f}, journal = {Formal Methods Syst. Des.}, keywords = {}, number = {2-3}, pages = {207-248}, timestamp = {2023-12-12T22:37:30.000+0100}, title = {Percentile queries in multi-dimensional Markov decision processes.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd50.html#RandourRS17}, volume = 50, year = 2017 }