Taylor J. Carpenter

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 15

Top Topics

Confidence Scores

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
Confidence Composition for Monitors of Verification Assumptions. ICCPS (2022)
Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, 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. ARCH@ADHS (2021)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. CAV (1) (2021)
Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer
ModelGuard: Runtime Validation of Lipschitz-continuous Models. CoRR (2021)
Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer
ModelGuard: Runtime Validation of Lipschitz-continuous Models. ADHS (2021)
Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
Confidence Composition for Monitors of Verification Assumptions. CoRR (2021)
Yiannis Kantaros, Taylor J. Carpenter, Kaustubh Sridhar, Yahan Yang, Insup Lee, James Weimer
Real-time detectors for digital and physical adversarial inputs to perception systems. ICCPS (2021)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Verifying the Safety of Autonomous Systems with Neural Network Controllers. ACM Trans. Embed. Comput. Syst. 20 (1) (2021)
Yiannis Kantaros, Taylor J. Carpenter, Sangdon Park, Radoslav Ivanov, Sooyong Jang, Insup Lee, James Weimer
VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems. CoRR (2020)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Case study: verifying the safety of an autonomous racing car with a neural network controller. HSCC (2020)
Esen Yel, Taylor J. Carpenter, Carmelo Di Franco, Radoslav Ivanov, Yiannis Kantaros, Insup Lee, James Weimer, Nicola Bezzo
Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations. IEEE Robotics Autom. Mag. 27 (2) (2020)
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. ARCH@CPSIoTWeek (2019)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller. CoRR (2019)
Taylor J. Carpenter, Wayne W. Zachary
Using context and robot-human communication to resolve unexpected situational conflicts. CogSIMA (2017)
Wayne Zachary, Taylor J. Carpenter
Cognitively-Inspired Computational Context. AAAI Spring Symposia (2017)