Beamforming Design of Dual Intelligent Reflecting Surface Aided ISAC System Based on Cramér-Rao Bound Optimization | Synapse