TY - RPRT TI - DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace AU - Guy Katz AU - Natan Levy AU - Idan Refaeli AU - Raz Yerushalmi PY - 2024 UR - https://arxiv.org/abs/2401.02283 ID - 2401.02283 ER -