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