On the Formal Robustness Evaluation for AI-based Industrial Systems.

Mohamed Ibn Khedher, Afef Awadid, Augustin Lemesle, Zakaria Chihani

Browse the full MODELSWARD paper archive.