Chih-Hong Cheng, Harald Ruess, Konstantinos Theodorou. Safety Performance of Neural Networks in the Presence of Covariate Shift. In Andrew Reynolds 0001, Serdar Tasiran, editors, Verified Software. Theories, Tools and Experiments - 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers. Volume 14095 of Lecture Notes in Computer Science, pages 20-30, Springer, 2023. [doi]
Abstract is missing.