HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Wenchao Li

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)

Keyphrases

formal methods, Neural Network Control Systems, neural networks, reachability, verification.

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