@ARTICLE{7445836, 
	author={Y. Yang and J. Zhang and K. Q. Cai and M. Prandini}, 
	journal={IEEE Transactions on Control Systems Technology}, 
	title={Multi-aircraft Conflict Detection and Resolution Based on Probabilistic Reach Sets}, 
	year={2016}, 
	volume={PP}, 
	number={99}, 
	pages={1-8}, 
	keywords={Aircraft;Atmospheric modeling;Computational modeling;Probabilistic logic;Stochastic processes;Trajectory;Uncertainty;Air traffic control;multi-aircraft conflict detection and resolution (CD&R);probabilistic reachability;randomized algorithms;stochastic/uncertain systems.}, 
	doi={10.1109/TCST.2016.2542046}, 
	ISSN={1063-6536}, 
	month={},}
