Program abstractions for behaviour validation.

Guido de Caso Víctor A. Braberman Diego Garbervetsky Sebastián Uchitel

Published in: ICSE (2011)

Keyphrases

artificial intelligence
program execution
real time
high level
programming environment
neural network
trade off
control system
state space