Explainability-guided Mathematical Model-Based Segmentation of Transrectal Ultrasound Images for Prostate Brachytherapy | IEEE Conference Publication | IEEE Xplore