Taylor J. Carpenter

According to our database, Taylor J. Carpenter authored at least 12 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Confidence Composition for Monitors of Verification Assumptions.

Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

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

ACM Trans. Embed. Comput. Syst., 2021

Real-time detectors for digital and physical adversarial inputs to perception systems.

Yiannis Kantaros, Taylor J. Carpenter, Kaustubh Sridhar, Yahan Yang, Insup Lee, James Weimer

Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 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

Proceedings of the Computer Aided Verification - 33rd International Conference, 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, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

ModelGuard: Runtime Validation of Lipschitz-continuous Models.

Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

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, James Weimer, Nicola Bezzo

IEEE Robotics Autom. Mag., 2020

VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems.

Yiannis Kantaros, Taylor J. Carpenter, Sangdon Park, Radoslav Ivanov, Sooyong Jang, Insup Lee, James Weimer

CoRR, 2020

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

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

2019

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

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2017

Using context and robot-human communication to resolve unexpected situational conflicts.

Taylor J. Carpenter, Wayne W. Zachary

Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2017

Cognitively-Inspired Computational Context.

Wayne Zachary, Taylor J. Carpenter

Proceedings of the 2017 AAAI Spring Symposia, 2017