Abstract Learning Frameworks for Synthesis

Löding, Christof; Madhusudan, P.; Neider, Daniel (Corresponding author)

Berlin ; Heidelberg : Springer (2016)
Contribution to a book, Contribution to a conference proceedings

In: Tools and algorithms for the construction and analysis of systems : 22nd international conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings / Marsha Chechik, Jean-François Raskin (eds.)
Page(s)/Article-Nr.: 167-185