Coupling algebraic topology theory, formal methods and safety requirements toward a new coverage metric for artificial intelligence models F Adjed, M Mziou-Sallami, F Pelliccia, M Rezzoug, L Schott, C Bohn, ... Neural Computing and Applications 34 (19), 17129-17144, 2022 | 8 | 2022 |
Analyzing Adversarial Attacks against Deep Learning for Robot Navigation. MI Khedher, M Rezzoug ICAART (2), 1114-1121, 2021 | 4 | 2021 |
Certification of deep reinforcement learning with multiple outputs using abstract interpretation and safety critical systems F Adjed, F Pelliccia, M Rezzoug, L Schott Proceedings of the 31st European safety and reliability conference, 3185-3191, 2021 | 1 | 2021 |
Vers une Conception et une Certification d'un Système de Décision Obtenu par Apprentissage par Renforcement Profond C Bohn, R Mehdi, J Yesmina, A Faouzi, P Frédéric, H Lydia Congrès Lambda Mu 23 «Innovations et maîtrise des risques pour un avenir …, 2022 | | 2022 |
On Improving the Robustness of Reinforcement Learning Policies against Adversarial Attacks Y Jaafra, C Bohn, L Schott, F Adjed, F Pelliccia, M Rezzoug ESREL 2022, 2022 | | 2022 |