BALISET – Robot Synthesis