Cognitively-Inspired Computational Context. - Wayne Zachary; Taylor J. Carpenter (AAAI Spring Symposia, 2017)

Using context and robot-human communication to resolve unexpected situational conflicts. - Taylor J. Carpenter; Wayne W. Zachary (CogSIMA, 2017)

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; Souradeep Dutta; Taylor J. Carpenter; Radoslav Ivanov; Taylor T. Johnson (ARCH@CPSIoTWeek, 2019)

Case study: verifying the safety of an autonomous racing car with a neural network controller. - Radoslav Ivanov; Taylor J. Carpenter; James Weimer; Rajeev Alur; George J. Pappas; Insup Lee 001 (HSCC, 2020)

VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems. - Yiannis Kantaros; Taylor J. Carpenter; Sangdon Park 001; Radoslav Ivanov; Sooyong Jang; Insup Lee 001; James Weimer (CoRR, 2020)

Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations. - Esen Yel; Taylor J. Carpenter; Carmelo Di Franco; Radoslav Ivanov; Yiannis Kantaros; Insup Lee 001; James Weimer; Nicola Bezzo (IEEE Robotics Autom. Mag., 2020)

ModelGuard: Runtime Validation of Lipschitz-continuous Models. - Taylor J. Carpenter; Radoslav Ivanov; Insup Lee 001; James Weimer (ADHS, 2021)

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; Marcelo Forets; Sebastián Guadalupe; Christian Schilling 001; Radoslav Ivanov; Taylor J. Carpenter; James Weimer; Insup Lee 001 (ARCH@ADHS, 2021)

Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. - Radoslav Ivanov; Taylor J. Carpenter; James Weimer; Rajeev Alur; George J. Pappas; Insup Lee 001 (CAV (1), 2021)

Real-time detectors for digital and physical adversarial inputs to perception systems. - Yiannis Kantaros; Taylor J. Carpenter; Kaustubh Sridhar; Yahan Yang; Insup Lee 001; James Weimer (ICCPS, 2021)

Verifying the Safety of Autonomous Systems with Neural Network Controllers. - Radoslav Ivanov; Taylor J. Carpenter; James Weimer; Rajeev Alur; George J. Pappas; Insup Lee 001 (ACM Trans. Embed. Comput. Syst., 2021)

Confidence Composition for Monitors of Verification Assumptions. - Ivan Ruchkin; Matthew Cleaveland; Radoslav Ivanov; Pengyuan Lu; Taylor J. Carpenter; Oleg Sokolsky; Insup Lee 001 (ICCPS, 2022)

Towards a LLM-Based System for Generating and Validating Product Requirements. - Evan Krueger; Taylor J. Carpenter; Kevin Leach; James Weimer (SIGSOFT FSE Companion, 2025)