Author:Diego Manzanas Lopez

Publications
ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T. Johnson, Tobias Ladner and Christian Schilling In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling and Qi Zhu In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
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 and Insup Lee In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan and Chao Huang In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Verification of Closed-loop Systems with Neural Network Controllers Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran and Taylor T. Johnson In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov and Taylor T. Johnson In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Linear Differential-Algebraic Equations (Benchmark Proposal) Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran and Taylor T. Johnson In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems

Keyphrases

Artificial Intelligence², benchmark, closed-loop system, control systems, differential-algebraic equations, formal methods, formal verification, hybrid systems, intelligent control systems, machine learning, Neural Network Control Systems⁴, neural network controller, Neural Network Verification, neural networks⁴, reachability², reachability analysis, verification³, verification benchmark.