{"id":"arxiv/2602.11332","url":"https://arxiv.org/abs/2602.11332","tags":["eess.SY","cs.LG","math.OC"],"score":0,"title":"Sample-Free Safety Assessment of Neural Network Controllers via Taylor Methods","domain":"eess.SY","source":"arxiv","authors":["Adam Evans","Roberto Armellin"],"reviews":0,"subject":"eess.SY","summary":"In recent years, artificial neural networks have been increasingly studied as feedback controllers for guidance problems. While effective in complex scenarios, they lack the verification guarantees found in classical guidance policies. Their black-box nature creates significant concerns regarding trustworthiness, limiting their adoption in safety-critical spaceflight applications. This work addresses this gap by developing a method to assess the safety of a trained neural network feedback controller via automatic domain splitting and polynomial bounding. The methodology involves embedding…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-02-11","reactions":{}}