ML Anthology

Forets, Marcelo

1 publications

AAAI 2022 Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes Christian Schilling, Marcelo Forets, Sebastián Guadalupe