128
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The semi-automatic or automatic synthesis of robot controller software is both desirable and challenging. Synthesis of rather simple behaviors such as collision avoidance by apply...