5216 search results - page 365 / 1044 » Planning as Model Checking |
142
click to vote
TAP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
124
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper presents a decentralized planning method for generating dynamic whole body motions of multilink robots including humanoids. First, a robotic system will be modeled a...
131
click to vote
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— This paper explores autonomous locomotion, reaching, grasping and manipulation for the domain of Navigation Among Movable Obstacles (NAMO). The robot perceives and cons...
145
click to vote
LAWEB
2006
IEEE
15 years 11 months ago
2006
IEEE
Since the end of 2004, when the law decree about accessibility for Brazilian governmental websites came into force, the federal agencies have been struggling to conform to the nor...
134
Voted
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— We present a new approach to path planning for flexible wires. We introduce a method for computing stable configurations of a wire subject to manipulation constraints. These ...