Quantifying Robustness of Medical Image Segmentation Networks Using TensorStars

Stuart, Meghan; Duggirala, Parasara Sridhar

doi:10.34727/2025/isbn.978-3-85448-084-6_11

Record link:

http://hdl.handle.net/20.500.12708/219539
https://doi.org/10.34727/2025/isbn.978-3-85448-084-6_11

Title:

Quantifying Robustness of Medical Image Segmentation Networks Using TensorStars

Citation:

Stuart, M., & Duggirala, P. S. (2025). Quantifying Robustness of Medical Image Segmentation Networks Using TensorStars. In A. Irfan & D. Kaufmann (Eds.), Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025 (pp. 54–64). TU Wien Academic Press. https://doi.org/10.34727/2025/isbn.978-3-85448-084-6_11

reposiTUm DOI:

10.34727/2025/isbn.978-3-85448-084-6_11

CatalogPlus:

AC17653246

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Stuart, Meghan
Duggirala, Parasara Sridhar

Editors:

Irfan, Ahmed
Kaufmann, Daniela