Robust Controller Synthesis in Timed Automata

October 15, 2017 in by

by Ocan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier
Reference:
Ocan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier. Robust Controller Synthesis in Timed Automata. In Proceedings of the 24th International Conference on Concurrency Theory (CONCUR’13), pages 546-560. Volume 8052 of Lecture Notes in Computer Science. Springer, August 2013.
Bibtex Entry:
@string{aug="August"}
@inproceedings{SBMR-concur13,
  address =       {Buenos Aires, Argentina},
  author =        {Sankur, Ocan and Bouyer, Patricia and Markey, Nicolas and
                   Reynier, Pierre-Alain},
  booktitle =     {{P}roceedings of the 24th {I}nternational
                   {C}onference on {C}oncurrency {T}heory ({CONCUR}'13)},
  editor =        {D'Argenio, Pedro R. and Melgratti, Hern{'a}n)},
  month =         aug,
  pages =         {546-560},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Robust Controller Synthesis in Timed Automata},
  volume =        {8052},
  year =          {2013},
  doi =           {10.1007/978-3-642-40184-8_38},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  SBMR-concur13.pdf},
  category =      {conf},
  wps =           {wp3},
  partners =      {CNRS},
  casstingpart =  {10},
}