ML Anthology

Guadalupe, Sebastián

1 publications

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