{"type":"ScholarlyArticle","title":"Recovering Formal Guarantees for Neural Network-Controlled Systems Under Changing Dynamics","authors":[{"name":"Sterre Lutz","slug":"sterre-lutz","given":"Sterre","family":"Lutz","affiliation":""}],"abstract":"Neural networks enable high-performance decision-making, but their deployment in safety-critical settings requires formal guarantees that may become invalid after changes in the system dynamics. This research studies how such guarantees can be recovered using information from the initial verification, enabling post-deployment analysis to assess preservation, quantify degradation, and restore compliant behavior without recomputing verification from scratch.","doi":"10.24963/ijcai.2026/946","url":"https://ijcai.org/proceedings/2026/946","pdf":"https://ijcai.org/proceedings/2026/0946.pdf","markdown":"https://ijcai.org/proceedings/2026/946.md","bibtex":"https://ijcai.org/proceedings/2026/bibtex/946","volume":{"slug":"2026","title":"Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2026","url":"https://ijcai.org/proceedings/2026/","year":2026,"location":"Bremen, Germany","dates":"15-21 August 2026","editors":"Diego Calvanese","isbn":"978-1-956792-09-6","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2026"},"section":"Doctoral Consortium","track":"Doctoral Consortium","number":946,"pages":{"first":8335,"last":8336},"keywords":["Uncertainty in AI: Sequential decision making","Agent-based and Multi-agent Systems: Formal verification, validation and synthesis","AI Ethics, Trust, Fairnes: Safety and robustness"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}