ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

Title:: ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Document type:: Konferenzbeitrag
Author(s):: Manzanas Lopez, Diego; Althoff, Matthias; Benet, Luis; Blab, Clemens; Forets, Marcelo; Jia, Yuhao; Johnson, Taylor T; Kranzl, Manuel; Ladner, Tobias; Linauer, Lukas; Neubauer, Philipp; Neubauer, Sophie; Schilling, Christian; Zhang, Huan; Zhong, Xiangru
Book / Congress title:: EPiC Series in Computing
Publisher:: EasyChair
Date of publication:: 10.10.2024
Year:: 2024
Language:: en
Fulltext / DOI:: doi:10.29007/mxld
BibTeX

Occurrences: