Up a level |
Number of items: 1.
Manzanas Lopez, Diego, Althoff, Matthias, Benet, Luis, Chen, Xin, Fan, Jiameng, Forets, Marcelo, Huang, Chao ORCID: 0000-0002-9300-1787, Johnson, Taylor T, Ladner, Tobias, Li, Wenchao et al (show 2 more authors)
(2022)
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
In: Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22).