5216 search results - page 302 / 1044 » Planning as Model Checking |
151
click to vote
ATAL
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper is concerned with the problem of how effective social interaction arises from individual social action and mind. The need to study the individual social mind s...
142
click to vote
CAINE
2003
15 years 6 months ago
2003
The Partially Observable Markov Decision Process (POMDP) model is explored for high level decision making for Unmanned Air Vehicles (UAVs). The type of UAV modeled is a flying mun...
127
click to vote
EOR
2007
15 years 4 months ago
2007
Motivated by an underground mining operation at Kiruna, Sweden, we formulate a mixed integer program to schedule iron ore production over multiple time periods. Our optimization m...
139
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper describes a grasp planning for a mobile manipulator which works in real environment. Mobile robot studies up to now that manipulate an object in real world practical...
151
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— This work recommends an architecture and its fundamental components for motion planning for mobile robots in dynamic environments. An adaptive behavior to typical motion patter...