Joint Active and Passive Beamforming Design for RIS-Assisted Cooperative ISAC Systems | Synapse