5216 search results - page 347 / 1044 » Planning as Model Checking |
133
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— People perform daily activities in many different ways. When setting a table, they might use a tray, stack plates, stack cups on plates, leave the doors of a cupboard open when...
165
Voted
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— This paper presents a geometry-based, multilayered synergistic approach to solve motion planning problems for mobile robots involving temporal goals. The temporal goals...
166
Voted
PVLDB
2010
14 years 11 months ago
2010
Experience with relational systems has shown that distribution is an effective way of improving the scalability of query evaluation. In this paper, we show how distributed query e...
150
click to vote
AAAI
2011
14 years 5 months ago
2011
From an automated planning perspective the problem of practical mobile robot control in realistic environments poses many important and contrary challenges. On the one hand, the p...
176
click to vote
UAI
2008
15 years 6 months ago
2008
We consider the problem of efficiently learning optimal control policies and value functions over large state spaces in an online setting in which estimates must be available afte...