Synthesis of Reactive(1) Designs.

Nir Piterman Amir Pnueli Yaniv Sa'ar

Published in: VMCAI (2006)

Keyphrases

reactive planning
program synthesis
design space exploration
real world
machine learning
design space
texture synthesis
agent architecture
learning environment
design principles
multiresolution
evolutionary algorithm
databases
multi agent
case study
computer vision
search engine
genetic algorithm
neural network