JSC
2007
15 years 2 months ago
2007
We present a method based on extended linear real quantifier elimination for multiple object semilinear motion planning, i.e. finding collision-free trajectories for several rob...