5216 search results - page 348 / 1044 » Planning as Model Checking |
152
Voted
ICCD
1995
IEEE
15 years 8 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
139
click to vote
ICRA
1993
IEEE
15 years 9 months ago
1993
IEEE
Navigationalpath planning is a classicalproblem in autonomous mobile robotics. Most AI approachesto path planning use goal-directedheuristicsearch of problem spaces defined by spa...
143
click to vote
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
The transportation planning (TP) is well-known basic network problem. However, for some real-world applications, it is often that the TP model is extended to satisfy other additio...
167
click to vote
JAIR
2010
15 years 3 months ago
2010
Noisy probabilistic relational rules are a promising world model representation for several reasons. They are compact and generalize over world instantiations. They are usually in...
158
Voted
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— In this paper, a control scheme that combines trajectory planning and gaze direction control for robotic exploration is presented. The objective is to calculate the gaze direct...