Sciweavers

JSC
2007
68views more  JSC 2007»
15 years 4 days ago
Multiple object semilinear motion planning
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...
Andreas Dolzmann, Volker Weispfenning