Automatic synthesis of action programs for intelligent robots.

Published in: Program. Comput. Softw. (2016)

Keyphrases

model checking
intelligent robots
neural learning
functional programs
databases
fully automatic
decision making
data driven
semi automatic
computer programs
multi layered
neural network
active learning
programming environment
structural analysis
program synthesis