Introducing User Grouping to Counteract Channel Correlation in IRS-Assisted ISAC | IEEE Journals & Magazine | IEEE Xplore