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

Published in: Neural Comput. Appl. (2022)

Keyphrases