5216 search results - page 384 / 1044 » Planning as Model Checking |
145
Voted
CHARME
2005
Springer
16 years 7 days ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
170
click to vote
FASE
2005
Springer
16 years 6 days ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
160
click to vote
FTCS
1993
15 years 8 months ago
1993
Fault tolerance requirements for near term disk array storage systems are analyzed. The excellent reliability provided by RAID Level 5 data organization is seen to be insu cient f...
177
click to vote
AGTIVE
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. With graph pattern matching the field of graph transformation (GT) includes an NP-complete subtask. But for real-life applications it is essential that graph pattern mat...
191
click to vote
IROS
2006
IEEE
16 years 21 days ago
2006
IEEE
— We present an on-line, robust, and efficient path planner for the redundant Mitsubishi PA-10 arm with 7 degrees of freedom (DOF) in non-stationary environments. Because of the...