TY - RPRT TI - Sample-Free Safety Assessment of Neural Network Controllers via Taylor Methods AU - Adam Evans AU - Roberto Armellin PY - 2026 UR - https://arxiv.org/abs/2602.11332 ID - 2602.11332 ER -