Author:Amir Maleki

Publications

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, hybrid systems, Neural Network Control Systems, neural networks, verification.