Strategy Synthesis for Multi-Dimensional Quantitative Objectives

December 12, 2017 in by

by Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin
Reference:
Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin. Strategy Synthesis for Multi-Dimensional Quantitative Objectives. In Acta Informatica 51(3-4):129-163. Springer, June 2014.
Bibtex Entry:
@string{jun="June"}
@article{CRR-acta14,
  author =        {Chatterjee, Krishnendu and Randour, Mickael and
                   Raskin, Jean-Fran{c{c}}ois},
  journal =       {Acta Informatica},
  month =         jun,
  number =        {3-4},
  pages =         {129-163},
  publisher =     {Springer},
  title =         {Strategy Synthesis for Multi-Dimensional Quantitative
                   Objectives},
  volume =        {51},
  year =          {2014},
  doi =           {10.1007/s00236-013-0182-6},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  CRR-acta14.pdf},
  category =      {jour},
  wps =           {wp2},
  partners =      {ULB and UMONS},
  casstingpart =  {10},
}