Aymeric Varasse

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Top Venues

SAFECOMP Workshops

Publications

Augustin Lemesle, Aymeric Varasse, Zakaria Chihani, Dominique Tachet
AIMOS: Metamorphic Testing of AI - An Industrial Application. SAFECOMP Workshops (2023)
Julien Girard-Satabin, Aymeric Varasse, Marc Schoenauer, Guillaume Charpiat, Zakaria Chihani
DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification. CoRR (2021)