5216 search results - page 219 / 1044 » Planning as Model Checking |
148
click to vote
EWCBR
2008
Springer
15 years 5 months ago
2008
Springer
Case-Based Planning (CBP) is an effective technique for solving planning problems that has the potential to reduce the computational complexity of the generative planning approache...
133
Voted
AIPS
2003
15 years 4 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
131
click to vote
DAGSTUHL
2001
15 years 4 months ago
2001
In this paper we discuss our work on plan management in the Autominder cognitive orthotic system. Autominder is being designed as part of an initiative on the development of roboti...
131
click to vote
ICRA
2009
IEEE
15 years 1 months ago
2009
IEEE
For vehicles navigating initially unknown cluttered environments, current state-of-the-art planning algorithms are able to plan and re-plan dynamically-feasible paths efficiently a...
164
Voted
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...