A stochastic reachability analysis approach to aircraft conflict detection and resolution.

Yang Yang Jun Zhang Kaiquan Cai Maria Prandini

Published in: CCA (2014)

Keyphrases

conflict detection
reachability analysis
markov decision processes
model checking
timed automata
incremental algorithms
state space
reinforcement learning
multi agent
search space
wireless sensor networks
access control policies