Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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-2024 easychair.org. All rights reserved.