Abstract Learning Frameworks for Synthesis

October 15, 2017 in by

by Christof Löding, P. Madhusudan, Daniel Neider
Reference:
Christof Löding, P. Madhusudan, Daniel Neider. Abstract Learning Frameworks for Synthesis. In Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’16), pages 167-185. Volume 9636 of Lecture Notes in Computer Science. Springer, April 2016.
Bibtex Entry:
@string{apr="April"}
@inproceedings{LMN-tacas16,
  address =       {Eindhoven, The~Netherlands},
  author =        {L{"o}ding, Christof and Madhusudan, P. and
                   Neider, Daniel},
  booktitle =     {Proceedings of the 22nd International Conference on
                   Tools and Algorithms for the Construction and
                   Analysis of Systems (TACAS'16)},
  month =         apr,
  pages =         {167-185},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Abstract Learning Frameworks for Synthesis},
  volume =        {9636},
  year =          {2016},
  doi =           {10.1007/978-3-662-49674-9_10},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  arxiv15-LMN.pdf},
  category =      {conf},
  wps =           {wp1},
  partners =      {RWTH},
  casstingpart =  {100},
}