Nicolas Valot, Louis Fabre, Benjamin Lesage, Ammar Mechouche, Claire Pagetti. Formal Target Aware Training of Machine Learning Models. In Elena Troubitsyna, David de Andrés, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - 45th International Conference, SAFECOMP 2026, Valencia, Spain, September 23-25, 2026, Proceedings. Volume 16868 of Lecture Notes in Computer Science, pages 131-145, Springer, 2026. [doi]
Abstract is missing.