ARCH-COMP19 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

Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov, Taylor T. Johnson. ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. In Goran Frehse, Matthias Althoff, editors, ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019. Volume 61 of EPiC Series in Computing, pages 103-119, EasyChair, 2019. [doi]

This author has not been identified. Look up 'Diego Manzanas Lopez' in GoogleThis author has not been identified. Look up 'Patrick Musau' in GoogleThis author has not been identified. Look up 'Hoang-Dung Tran' in GoogleThis author has not been identified. Look up 'Souradeep Dutta' in GoogleThis author has not been identified. Look up 'Taylor J. Carpenter' in GoogleThis author has not been identified. Look up 'Radoslav Ivanov' in GoogleThis author has not been identified. Look up 'Taylor T. Johnson' in Google

runs on WebDSL