TY - RPRT TI - Minimizing Worst-Case Violations of Neural Networks AU - Rahul Nellikkath AU - Spyros Chatzivasileiadis PY - 2022 UR - https://arxiv.org/abs/2212.10930 ID - 2212.10930 ER -