Login / Signup
Decomposition algorithm for global reachability analysis on a time-varying graph with an application to planetary exploration.
Yoshiaki Kuwata
Lars Blackmore
Michael T. Wolf
Nanaz Fathpour
Claire Newman
Alberto Elfes
Published in:
IROS (2009)
Keyphrases
</>
decomposition algorithm
reachability analysis
working set
model checking
decomposition method
markov decision processes
equality constraints
timed automata
number of iterations required
image retrieval
random walk
recognition algorithm