Multiple Cooperative UAS Mid-Air Collision Probability Assessment and Monte-Carlo Validation in Urban Air Mobility | IEEE Conference Publication | IEEE Xplore