Determining states of inevitable collision using reachability analysis.

Andreas Lawitzky Anselm Nicklas Dirk Wollherr Martin Buss

Published in: IROS (2014)

Keyphrases

reachability analysis
markov decision processes
model checking
incremental algorithms
timed automata
collision detection
state space
collision avoidance
artificial intelligence
temporal logic
state transition
markov decision problems