Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling 0001, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee. ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. In Goran Frehse, Matthias Althoff, editors, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021. Volume 80 of EPiC Series in Computing, pages 90-119, EasyChair, 2021. [doi]
@inproceedings{JohnsonLBFG0ICW21,
title = {ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants},
author = {Taylor T. Johnson and Diego Manzanas Lopez and Luis Benet and Marcelo Forets and Sebastián Guadalupe and Christian Schilling 0001 and Radoslav Ivanov and Taylor J. Carpenter and James Weimer and Insup Lee},
year = {2021},
doi = {10.29007/kfk9},
url = {https://doi.org/10.29007/kfk9},
researchr = {https://researchr.org/publication/JohnsonLBFG0ICW21},
cites = {0},
citedby = {0},
pages = {90-119},
booktitle = {8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021},
editor = {Goran Frehse and Matthias Althoff},
volume = {80},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}