Taylor J. Carpenter

Case study

Radoslav Ivanov, Taylor J. Carpenter, James Weimer et al. · 2020 · 66 citations

Public Health, Civil Engineering, Construction Engineering +12

Verifying the Safety of Autonomous Systems with Neural Network Controllers

Radoslav Ivanov, Taylor J. Carpenter, James Weimer et al. · ACM Transactions on Embedded Computing Systems · 2020 · 50 citations · Full text

Computing, Autonomous Systems, Computer Science +17

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

Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran et al. · EPiC series in computing · 2019 · 17 citations · Full text

Computing, Computer Science, Systems Engineering +16

Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations

Esen Yel, Taylor J. Carpenter, Carmelo Di Franco et al. · IEEE Robotics & Automation Magazine · 2020 · 16 citations

Engineering, Autonomous Systems, Robotics Engineering +14

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

Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet et al. · EPiC series in computing · 2021 · 14 citations · Full text

Computing, Computer Science, Systems Engineering +16