Sebastián Guadalupe

According to our database, Sebastián Guadalupe authored at least 2 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes.

Christian Schilling, Marcelo Forets, Sebastián Guadalupe

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021