Formal Analysis of k-Resiliency for Collaborative UAVs | IEEE Conference Publication | IEEE Xplore