Login / Signup
Applications of hybrid reachability analysis to robotic aerial vehicles.
Jeremy H. Gillula
Gabriel M. Hoffmann
Haomiao Huang
Michael P. Vitus
Claire J. Tomlin
Published in:
Int. J. Robotics Res. (2011)
Keyphrases
</>
aerial vehicles
reachability analysis
path planning
model checking
markov decision processes
multiple targets
timed automata
state space
incremental algorithms
real time
unmanned aerial vehicles
machine learning
artificial intelligence