Return to Article Details Verification of MASS collision avoidance systems ABSTRACT using a distribution-driven generating model of collision risk scenarios Download Download PDF