Formal Target Aware Training of Machine Learning Models.

Nicolas Valot, Louis Fabre, Benjamin Lesage, Ammar Mechouche, Claire Pagetti

Browse the full SAFECOMP paper archive.