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
Identifier
- DOI: 10.1007/978-3-662-49674-9_10
- RWTH PUBLICATIONS: RWTH-CONV-211030