Coupling algebraic topology theory, formal methods and safety requirements toward a new coverage metric for artificial intelligence models

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]

Authors

Faouzi Adjed

This author has not been identified. Look up 'Faouzi Adjed' in Google

Mallek Mziou-Sallami

This author has not been identified. Look up 'Mallek Mziou-Sallami' in Google

Frédéric Pelliccia

This author has not been identified. Look up 'Frédéric Pelliccia' in Google

Mehdi Rezzoug

This author has not been identified. Look up 'Mehdi Rezzoug' in Google

Lucas Schott

This author has not been identified. Look up 'Lucas Schott' in Google

Christophe Bohn

This author has not been identified. Look up 'Christophe Bohn' in Google

Yesmina Jaâfra

This author has not been identified. Look up 'Yesmina Jaâfra' in Google