531 search results - page 69 / 107 » Using Abstraction for Planning in Sokoban |
EWCBR
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The problem of defining robot behaviors to completely address a large and complex set of situations is very challenging. We present an approach for robot's action se...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
DAGSTUHL
2006
13 years 9 months ago
2006
Abstract. Within Self-reconfiguring systems two basic problems arise: on instruction level, reconfigurable instruction sets make program generation and execution inherently difficu...
SPLC
2004
13 years 9 months ago
2004
Abstract. This paper proposes a 4-dimensional software product family engineering evaluation framework. The four dimensions relate to the software engineering concerns of business,...
JSW
2007
13 years 7 months ago
2007
Abstract— In this paper, we present our methodology proposal for cooperative remote systems modeling. Its aim is to develop models of existing or planned cooperative systems. The...