@INPROCEEDINGS{Hahn:QEST:2017,
  AUTHOR =       {Hahn, Ernst Moritz and Vahid Hashemi and Holger Hermanns and Morteza Lahijanian and Andrea Turrini},
  TITLE =        {Multi-objective Robust Strategy Synthesis for Interval {M}arkov Decision Processes},
  BOOKTITLE =    {International Conference on Quantitative Evaluation of Systems},
  month =        {Sep.},
  YEAR =         {2017},
  pages =        {207--223},
  publisher =    {Springer},
  address =      {Berlin, Germany},
  DOI=           {10.1007/978-3-319-66335-7_13},
}