16 search results - page 4 / 4 » Verifying Large-Scale Multiprocessors Using an Abstract Veri... |
IROS
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract – Presented in this paper is an approach to realtime spatial reasoning for manipulative robotic tasks. When a service robot is requested to manipulate an object, it shou...