Efficient Controller Synthesis for a fragment of MTL0,∞

October 16, 2017 in by

by Peter Bulychev, Alexandre David, Kim G. Larsen, Guangyuan Li
Reference:
Peter Bulychev, Alexandre David, Kim G. Larsen, Guangyuan Li. Efficient Controller Synthesis for a fragment of MTL0,∞. In Acta Informatica 51(3-4):165-192. Springer, June 2014.
Bibtex Entry:
@string{jun="June"}
@article{BDLL-acta14,
  author =        {Bulychev, Peter and David, Alexandre and
                   Larsen, Kim G. and Li, Guangyuan},
  journal =       {Acta Informatica},
  month =         jun,
  number =        {3-4},
  pages =         {165-192},
  publisher =     {Springer},
  title =         {Efficient Controller Synthesis for a fragment of
                   {MTL(_{0,infty})}},
  volume =        {51},
  year =          {2014},
  doi =           {10.1007/s00236-013-0189-z},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  BDLL-acta14.pdf},
  category =      {jour},
  wps =           {wp2},
  partners =      {AAU},
  casstingpart =  {25},
}