Automatic synthesis of new behaviors from a library of available ones.