Login / Signup
Predictive Reachability Using a Sample-Based Approach.
Debashis Sahoo
Jawahar Jain
Subramanian K. Iyer
David L. Dill
E. Allen Emerson
Published in:
CHARME (2005)
Keyphrases
</>
transitive closure
neural network
state space
sample size
real time
dynamic programming
predictive model
data sets
artificial intelligence
case study
image sequences
training data
training set
multiresolution
data model
support vector machine