authors: Yi Zhang Yun Tang Wenjie Ruan Xiaowei Huang Siddartha Khastgir Paul A Jennings Xingyu Zhao
title: ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models against Stochastic Perturbation