Synchronizing words for weighted and timed automata

October 16, 2017 in by

by Laurent Doyen, Line Juhl, Kim G. Larsen, Nicolas Markey, Mahsa Shirmohammadi
Reference:
Laurent Doyen, Line Juhl, Kim G. Larsen, Nicolas Markey, Mahsa Shirmohammadi. Synchronizing words for weighted and timed automata. In Proceedings of the 34th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS’14), pages 121-132. Volume 29 of Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, December 2014.
Bibtex Entry:
@string{dec="December"}
@inproceedings{DJLMS-fsttcs14,
  address =       {Delhi, India},
  author =        {Doyen, Laurent and Juhl, Line and Larsen, Kim G. and
                   Markey, Nicolas and Shirmohammadi, Mahsa},
  booktitle =     {{P}roceedings of the 34th {C}onference on
                   {F}oundations of {S}oftware {T}echnology and
                   {T}heoretical {C}omputer {S}cience ({FSTTCS}'14)},
  editor =        {Raman, Venkatesh and Suresh, S.~P.},
  month =         dec,
  pages =         {121-132},
  publisher =     {Leibniz-Zentrum f{"u}r Informatik},
  series =        {Leibniz International Proceedings in Informatics},
  title =         {Synchronizing words for weighted and timed automata},
  volume =        {29},
  year =          {2014},
  doi =           {10.4230/LIPIcs.FSTTCS.2014.121},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  DJLMS-fsttcs14.pdf},
  category =      {conf},
  wps =           {wp2},
  partners =      {CNRS and ULB and AAU},
  casstingpart =  {100},
}