Percentile Queries in Multi-dimensional Markov Decision Processes

October 16, 2017 in by

by Mickael Randour, Jean-François Raskin, Ocan Sankur
Reference:
Mickael Randour, Jean-François Raskin, Ocan Sankur. Percentile Queries in Multi-dimensional Markov Decision Processes. In Proceedings of the 27th International Conference on Computer Aided Verification (CAV’15), pages 123-139. Volume 9206 of Lecture Notes in Computer Science. Springer, 2015.
Bibtex Entry:
@inproceedings{RRS-cav15,
  author =        {Mickael Randour and Jean-Fran{c{c}}ois Raskin and
                   Ocan Sankur},
  booktitle =     {Proceedings of the 27th International Conference on
                   Computer Aided Verification ({CAV}'15)},
  pages =         {123-139},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Percentile Queries in Multi-dimensional Markov
                   Decision Processes},
  volume =        {9206},
  year =          {2015},
  doi =           {10.1007/978-3-319-21690-4_8},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  RRS-cav15.pdf},
  category =      {conf},
  wps =           {wp2},
  partners =      {CNRS and ULB},
  casstingpart =  {50},
}