Symbolic planning for heterogeneous robots through composition of their motion description languages رسالة دكتوراه