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

Titel:: ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Dokumenttyp:: Konferenzbeitrag
Autor(en):: 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
Herausgeber:: Frehse, Goran; Althoff, Matthias; Schoitsch, Erwin; Guiochet, Jeremie
Kongress- / Buchtitel:: Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
Band / Teilband / Volume:: 90
Verlag / Institution:: EasyChair
Jahr:: 2022
Seiten:: 142--184
Serientitel:: EPiC Series in Computing
Volltext / DOI:: doi:10.29007/wfgr
WWW:: https://easychair.org/publications/paper/C1J8
BibTeX

Vorkommen: