Taylor T. Johnson

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

Christian Schilling, Taylor T. Johnson, James Weimer, 2021, ARCH@ADHS.

ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

M. Forets, Tobias Ladner, Diego Manzanas Lopez, 2022, EPiC Series in Computing.

ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

Diego Manzanas Lopez, Taylor J. Carpenter, Radoslav Ivanov, 2019, ARCH@CPSIoTWeek.