5216 search results - page 248 / 1044 » Planning as Model Checking |
134
click to vote
CAV
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
169
click to vote
IJRR
2010
15 years 2 months ago
2010
Path planning and trajectory design for autonomous underwater vehicles (AUVs) is of great importance to the oceanographic research community because automated data collection is b...
128
click to vote
MICCAI
2003
Springer
16 years 5 months ago
2003
Springer
Needle insertion for percutaneous therapies is formulated as a trajectory planning and control problem. A new concept of needle steering is developed and a Needle Manipulation Jaco...
132
click to vote
ICTAI
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper presents an approach to building plans using partially observable Markov decision processes. The approach begins with a base solution that assumes full observability. T...
116
click to vote
AROBOTS
2008
15 years 4 months ago
2008
This paper addresses the modeling of the static and dynamic parts of the scenario and how to use this information with a sensor-based motion planning system. The contribution in th...