Language Emptiness of Continuous-Time Parametric Timed Automata

December 12, 2017 in by

by Nikola Beneš, Peter Bezděk, Kim Gulstrand Larsen, Jiří Srba
Reference:
Nikola Beneš, Peter Bezděk, Kim Gulstrand Larsen, Jiří Srba. Language Emptiness of Continuous-Time Parametric Timed Automata. In Proceedings of the 42nd International Colloquium on Automata, Languages and Programming (ICALP’15) — Part II, pages 69-81. Volume 9135 of Lecture Notes in Computer Science. Springer, July 2015.
Bibtex Entry:
@string{jul="July"}
@inproceedings{BBLS-icalp15,
  address =       {Kyoto, Japan},
  author =        {Bene{v{s}}, Nikola and Bezd{v{e}}k, Peter and
                   Larsen, Kim Gulstrand and Srba, Ji{v{r}}{'i}},
  booktitle =     {{P}roceedings of the 42nd {I}nternational
                   {C}olloquium on {A}utomata, {L}anguages and
                   {P}rogramming ({ICALP}'15)~-- {P}art~{II}},
  editor =        {Halld{'o}rsson, Magn{'u}s M. and Iwama, Kazuo and
                   Kobayashi, Naoki and Speckmann, Bettina},
  month =         jul,
  pages =         {69-81},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Language Emptiness of Continuous-Time Parametric
                   Timed Automata},
  volume =        {9135},
  year =          {2015},
  doi =           {10.1007/978-3-662-47666-6_6},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  BBLS-icalp15.pdf},
  category =      {conf},
  wps =           {wp2},
  partners =      {AAU},
  casstingpart =  {50},
}