ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Taylor T. Johnson' in GoogleThis author has not been identified. Look up 'Diego Manzanas Lopez' in GoogleThis author has not been identified. Look up 'Luis Benet' in GoogleThis author has not been identified. Look up 'Marcelo Forets' in GoogleThis author has not been identified. Look up 'Sebastián Guadalupe' in GoogleThis author has not been identified. Look up 'Christian Schilling 0001' in GoogleThis author has not been identified. Look up 'Radoslav Ivanov' in GoogleThis author has not been identified. Look up 'Taylor J. Carpenter' in GoogleThis author has not been identified. Look up 'James Weimer' in GoogleThis author has not been identified. Look up 'Insup Lee' in Google

runs on WebDSL