| ASTERYX: A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations R Boumazouza, F Cheikh-Alili, B Mazure, K Tabia Proceedings of the 30th ACM International Conference on Information …, 2021 | 37 | 2021 |
| A symbolic approach for counterfactual explanations R Boumazouza, F Cheikh-Alili, B Mazure, K Tabia International Conference on Scalable Uncertainty Management, 270-277, 2020 | 10 | 2020 |
| Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing Y Elboher, R Elsaleh, O Isac, M Ducoffe, A Galametz, G Povéda, ... arXiv preprint arXiv:2402.00035, 2024 | 3 | 2024 |
| Surrogate neural networks local stability for aircraft predictive maintenance M Ducoffe, G Povéda, A Galametz, R Boumazouza, MC Martin, J Baris, ... International Conference on Formal Methods for Industrial Critical Systems …, 2024 | 1 | 2024 |
| Verification for Object Detection--IBP IoU N Cohen, M Ducoffe, R Boumazouza, C Gabreau, C Pagetti, X Pucel, ... arXiv preprint arXiv:2403.08788, 2024 | 1 | 2024 |
| Symbolic Explanations for Multi-Label Classification R Boumazouza, F Cheikh-Alili, B Mazure, K Tabia 15th International Conference on Agents and Artificial Intelligence (ICAART …, 2023 | 1 | 2023 |
| A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration R Boumazouza, F Cheikh-Alili, B Mazure, K Tabia arXiv preprint arXiv:2206.11539, 2022 | 1 | 2022 |
| Trustworthy and Explainable Decision-Making for Workforce allocation G Povéda, R Boumazouza, A Strahl, M Hall, S Quintana-Amate, N Alvarez, ... arXiv preprint arXiv:2412.10272, 2024 | | 2024 |
| Guidelines to explain machine learning algorithms F Boisnard, R Boumazouza, M Ducoffe, T Fel, E Glize, L Hervier, V Mussot, ... | | 2023 |
| Predictive models & reasoning with explanations R Boumazouza Université d'Artois, 2022 | | 2022 |
| Modèles prédictifs & raisonnement avec les explications R Boumazouza Artois, 2022 | | 2022 |
| ASTERYX: A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations (Preprint version) R Boumazouza, F Cheikh-Alili, B Mazure, K Tabia | | 2021 |
| Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance R Boumazouza, MC Martin, J Baris, D Daverschot, E O’Higgins Formal Methods for Industrial Critical Systems, 245, 0 | | |
Bertrand MazureProfesseur des Universités, Université d'Artois在 cril.univ-artois.fr 的电子邮件经过验证
Bertrand MazureProfesseur des Universités, Université d'Artois在 cril.univ-artois.fr 的电子邮件经过验证