12981 search results - page 2413 / 2597 » Model Checking (Abstract) |
133
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— Trajectory planning and optimization is a fundamental problem in articulated robotics. It is often viewed as a two phase problem of initial feasible path planning aroun...
143
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— To compute collision-free and dynamicallyfeasibile trajectories that satisfy high-level specifications given in a planning-domain definition language, this paper prop...
132
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— Humanoid robots are appealing due to their inherent dexterity. However, these potential benefits may only be realized if the corresponding motion synthesis procedure i...
102
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— For robotic manipulation tasks in uncertain environments, good force control can provide significant benefits. The design of force-controlled actuators typically revo...
103
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
The use of unmanned autonomous vehicles is becoming more and more significant in recent years. The fact that the vehicles are unmanned (whether autonomous or not), can lead to gre...