TY  - RPRT
TI  - Correct-by-Construction Approach for Self-Evolvable Robots
AU  - Gang Chen
AU  - Zhaodan Kong
PY  - 2017
UR  - https://arxiv.org/abs/1702.04022
ID  - 1702.04022
ER  -