@misc{indiciaee6bbda3fc486, title = {Sample-Free Safety Assessment of Neural Network Controllers via Taylor Methods}, author = {Adam Evans and Roberto Armellin}, year = {2026}, url = {https://arxiv.org/abs/2602.11332}, note = {Source identifier: 2602.11332} }