Probabilistic model checking of the next-generation airborne collision avoidance system

Cite this paper

@article{Gardner2016ProbabilisticMC, title={Probabilistic model checking of the next-generation airborne collision avoidance system}, author={Ryan Gardner and Daniel Genin and R. C. McDowell and Christopher A. Rouff and Anshu Saksena and Aurora Schmidt}, journal={2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)}, year={2016}, pages={1-10} }