HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Chao Huang

Publications
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-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)

Keyphrases

Artificial Intelligence, formal methods, hybrid systems, Neural Network Control Systems2, neural networks2, reachability, verification2.

Copyright © 2012-2025 easychair.org. All rights reserved.