Optimal Bounds for Multiweighted and Parametrised Energy Games

October 16, 2017 in by

by Line Juhl, Kim G. Larsen, Jean-François Raskin
Reference:
Line Juhl, Kim G. Larsen, Jean-François Raskin. Optimal Bounds for Multiweighted and Parametrised Energy Games. In Theories of Programming and Formal Methods — Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday, pages 244-255. Volume 8051 of Lecture Notes in Computer Science. Springer, 2013.
Bibtex Entry:
@inproceedings{tpfm2013-JLR,
  author =        {Juhl, Line and Larsen, Kim G. and
                   Raskin, Jean-Fran{c c}ois},
  booktitle =     {Theories of Programming and Formal Methods~-- Essays
                   Dedicated to Jifeng~He on the Occasion of His 70th
                   Birthday},
  chapter =       {15},
  editor =        {Liu, Zhiming and Woodcock, Jim and Zhu, Yunshan},
  pages =         {244-255},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Optimal Bounds for Multiweighted and Parametrised
                   Energy Games},
  volume =        {8051},
  year =          {2013},
  doi =           {10.1007/978-3-642-39698-4_15},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  tpfm2013-JLR.pdf},
  category =      {chap},
  wps =           {wp1},
  partners =      {AAU and ULB},
  casstingpart =  {10},
}