5216 search results - page 217 / 1044 » Planning as Model Checking |
125
Voted
TROB
2010
15 years 1 months ago
2010
—To efficiently solve challenging motion-planning problems with dynamics, this paper proposes treating motion planning not just as a search problem in a continuous space but as ...
102
Voted
WSC
1997
15 years 4 months ago
1997
The problem of order release planning for a make-toorder production facility is addressed. Traditionally, order-release planning in a multi-stage shop is performed with material r...
155
click to vote
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Randomized motion planning techniques are responsible for many of the recent successes in robot control. However, most motion planning algorithms assume perfect and com...
JETAI
2002
15 years 3 months ago
2002
We study decision-theoretic planning or reinforcement learning in the presence of traps such as steep slopes for outdoor robots or staircases for indoor robots. In this case, achi...
114
click to vote
SAC
2004
ACM
15 years 8 months ago
2004
ACM
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we defin...