Login / Signup
A machine learning approach for real-time reachability analysis.
Ross E. Allen
Ashley A. Clark
Joseph A. Starek
Marco Pavone
Published in:
IROS (2014)
Keyphrases
</>
reachability analysis
real time
model checking
markov decision processes
low cost
vision system
timed automata
state space
high speed
real time systems
machine learning
learning algorithm
artificial intelligence
knowledge base
incremental algorithms