Ali Khalili, Massimo Narizzano, Armando Tacchella. Learning for Verification in Embedded Systems: A Case Study. In Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco Maratea, editors, AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, Proceedings. Volume 10037 of Lecture Notes in Computer Science, pages 525-538, Springer, 2016. [doi]
Abstract is missing.