C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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