Jump to : Download | Contact | BibTex reference | EndNote reference |

randour:hal-01245196

M. Randour, J-F Raskin, O. Sankur. Percentile Queries in Multi-dimensional Markov Decision Processes. In 27th International Conference on Computer Aided Verification (CAV 2015), Lecture Notes in Computer Science, Volume 9206, Pages 123-139, San Francisco, United States, July 2015.

Download [help]

Download paper: Doi page

Download Arxiv paper: (link)

Contact

Ocan Sankur http://people.irisa.fr/Ocan.Sankur/

BibTex Reference

@InProceedings{randour:hal-01245196,
   Author = {Randour, M. and Raskin, J-F and Sankur, O.},
   Title = {Percentile Queries in Multi-dimensional Markov Decision Processes},
   BookTitle = {27th International Conference on Computer Aided Verification (CAV 2015)},
   Volume = {9206},
   Pages = {123--139},
   Series = {Lecture Notes in Computer Science},
   Address = {San Francisco, United States},
   Month = {July},
   Year = {2015}
}

EndNote Reference [help]

Get EndNote Reference (.ref)