User: Guest  Login
Title:

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

Document type:
Konferenzbeitrag
Author(s):
Lopez, Diego Manzanas; Althoff, Matthias; Benet, Luis; Chen, Xin; Fan, Jiameng; Forets, Marcelo; Huang, Chao; Johnson, Taylor T; Ladner, Tobias; Li, Wenchao; Schilling, Christian; Zhu, Qi
Editor:
Frehse, Goran; Althoff, Matthias; Schoitsch, Erwin; Guiochet, Jeremie
Book / Congress title:
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
Volume:
90
Publisher:
EasyChair
Year:
2022
Pages:
142--184
Bookseries title:
EPiC Series in Computing
Fulltext / DOI:
doi:10.29007/wfgr
WWW:
https://easychair.org/publications/paper/C1J8
 BibTeX