Suivre
Mehdi REZZOUG
Mehdi REZZOUG
IRT-SystemX
Adresse e-mail validée de irt-systemx.fr
Titre
Citée par
Citée par
Année
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
82022
Analyzing Adversarial Attacks against Deep Learning for Robot Navigation.
MI Khedher, M Rezzoug
ICAART (2), 1114-1121, 2021
42021
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
12021
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–5