Faouzi Adjed, Mallek Mziou-Sallami, Frédéric Pelliccia, Mehdi Rezzoug, Lucas Schott, Christophe Bohn, Yesmina Jaâfra. Coupling algebraic topology theory, formal methods and safety requirements toward a new coverage metric for artificial intelligence models. Neural Computing and Applications, 34(19):17129-17144, 2022. [doi]
@article{AdjedMPRSBJ22,
title = {Coupling algebraic topology theory, formal methods and safety requirements toward a new coverage metric for artificial intelligence models},
author = {Faouzi Adjed and Mallek Mziou-Sallami and Frédéric Pelliccia and Mehdi Rezzoug and Lucas Schott and Christophe Bohn and Yesmina Jaâfra},
year = {2022},
doi = {10.1007/s00521-022-07363-6},
url = {https://doi.org/10.1007/s00521-022-07363-6},
researchr = {https://researchr.org/publication/AdjedMPRSBJ22},
cites = {0},
citedby = {0},
journal = {Neural Computing and Applications},
volume = {34},
number = {19},
pages = {17129-17144},
}