Verification and Performance Evaluation of Timed Game Strategies

October 16, 2017 in by

by Alexandre David, Huixing Fang, Kim G. Larsen, Zhengkui Zhang
Reference:
Alexandre David, Huixing Fang, Kim G. Larsen, Zhengkui Zhang. Verification and Performance Evaluation of Timed Game Strategies. In Proceedings of the 12th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS’14), pages 100-114. Volume 8711 of Lecture Notes in Computer Science. Springer, September 2014.
Bibtex Entry:
@string{sep="September"}
@inproceedings{DFLZ-formats14,
  address =       {Florence, Italy},
  author =        {David, Alexandre and Fang, Huixing and Larsen, Kim G. and
                   Zhang, Zhengkui},
  booktitle =     {{P}roceedings of the 12th {I}nternational
                   {C}onference on {F}ormal {M}odelling and {A}nalysis
                   of {T}imed {S}ystems ({FORMATS}'14)},
  editor =        {Legay, Axel and Bozga, Marius},
  month =         sep,
  pages =         {100-114},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Verification and Performance Evaluation of Timed Game
                   Strategies},
  volume =        {8711},
  year =          {2014},
  doi =           {10.1007/978-3-319-10512-3_8},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  DFLZ-formats14.pdf},
  category =      {conf},
  wps =           {wp1},
  partners =      {AAU},
  casstingpart =  {50},
}