Robust Weighted Timed Automata and Games

October 17, 2017 in by

by Patricia Bouyer, Nicolas Markey, Ocan Sankur
Reference:
Patricia Bouyer, Nicolas Markey, Ocan Sankur. Robust Weighted Timed Automata and Games. In Proceedings of the 11th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS’13), pages 31-36. Volume 8053 of Lecture Notes in Computer Science. Springer, August 2013.
Bibtex Entry:
@string{aug="August"}
@inproceedings{BMS-formats13,
  address =       {Buenos Aires, Argentina},
  author =        {Bouyer, Patricia and Markey, Nicolas and
                   Sankur, Ocan},
  booktitle =     {{P}roceedings of the 11th {I}nternational
                   {C}onference on {F}ormal {M}odelling and {A}nalysis
                   of {T}imed {S}ystems ({FORMATS}'13)},
  editor =        {Braberman, V{'i}ctor and Fribourg, Laurent},
  month =         aug,
  pages =         {31-36},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Robust Weighted Timed Automata and Games},
  volume =        {8053},
  year =          {2013},
  doi =           {10.1007/978-3-642-40229-6_3},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  BMS-formats13.pdf},
  category =      {conf},
  wps =           {wp3},
  partners =      {CNRS},
  casstingpart =  {25},
}