Opportunistic Scheduling in IRS-Aided UAV Multi-User Wireless Communication Systems: Modeling and Analysis | IEEE Journals & Magazine | IEEE Xplore