Login
- 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
- Titel:
- ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
- 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