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 001; Radoslav Ivanov; Taylor J. Carpenter; James Weimer; Insup Lee 001 (ARCH@ADHS, 2021)

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