Modeling and Analysis of Multi-UAV Networks Using Matérn Hard-Core Point Process | IEEE Conference Publication | IEEE Xplore