"Learning for Verification in Embedded Systems: A Case Study."

Ali Khalili, Massimo Narizzano, Armando Tacchella (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics