24 search results - page 1 / 5 » Graph Abstraction in Real-time Heuristic Search |
SARA
2007
Springer
13 years 10 months ago
2007
Springer
AAAI
2006
13 years 6 months ago
2006
Real-time dynamic programming (RTDP) is a heuristic search algorithm for solving MDPs. We present a modified algorithm called Focused RTDP with several improvements. While RTDP ma...
EWCBR
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Case-based planning (CBP) is based on reusing past successful plans for solving new problems. CBP is particularly useful in environments where the large amount of time re...
FORMATS
2004
Springer
13 years 10 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
ISCC
2002
IEEE
13 years 9 months ago
2002
IEEE
: - Efficient task scheduling is essential for achieving high performance computing applications for distributed systems. Most of existing real-time systems consider schedulability...