Formal Modeling and Automatic Code Synthesis for Robot System.

Xinxin Li Rui Wang Yu Jiang Yong Guan Xiaojuan Li Xiaoyu Song

Published in: ICECCS (2017)

Keyphrases

mobile robot
semi automatic
formal models
path planning
fully automatic
autonomous robots
neural network
source code
vision system
multi robot
position and orientation
robot soccer
goal directed
robot control
robot arm
home environment