Learning for Verification in Embedded Systems: A Case Study.

Ali Khalili Massimo Narizzano Armando Tacchella

Published in: AI*IA (2016)

Keyphrases

embedded systems
low cost
resource limited
signal processing
computing power
embedded devices
embedded software
learning algorithm
artificial intelligence
cooperative
software systems