536 search results - page 66 / 108 » Planning by Abstraction Using HW[] |
ICRA
2002
IEEE
14 years 20 days ago
2002
IEEE
This paper presents a flight rnanageiiient system (FhIS) iinpleniented as on-board intelligence for rotorcraft-based unmanned aerial vehicles (RUAVs), in order to gradually ilen a...
ECAI
2000
Springer
14 years 1 days ago
2000
Springer
Abstract. This paper studies algorithms for the Disjunctive Temporal Problem (DTP) a quite general temporal reasoning problem introduced in [12]. This problem involves the satisfac...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We address the problem of extracting Minimal Unsatisfiable Cores (MUCs) from constraint networks. This computationally hard problem has a practical interest in many appli...
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...