Taylor J. Carpenter

16 papers Misc 1Journal 6Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
Towards a LLM-Based System for Generating and Validating Product Requirements.
SIGSOFT FSE Companion
Evan Krueger, Taylor J. Carpenter, Kevin Leach, James Weimer
2022 — conf
Confidence Composition for Monitors of Verification Assumptions.
ICCPS
Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
2021 — conf
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
ARCH@ADHS
Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee
2021 J jnl
Confidence Composition for Monitors of Verification Assumptions.
CoRR
Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
2021 — conf
ModelGuard: Runtime Validation of Lipschitz-continuous Models.
ADHS
Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer
2021 J jnl
ModelGuard: Runtime Validation of Lipschitz-continuous Models.
CoRR
Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer
2021 — conf
Real-time detectors for digital and physical adversarial inputs to perception systems.
ICCPS
Yiannis Kantaros, Taylor J. Carpenter, Kaustubh Sridhar, Yahan Yang, Insup Lee, James Weimer
2021 J jnl
Verifying the Safety of Autonomous Systems with Neural Network Controllers.
ACM Trans. Embed. Comput. Syst.
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2021 — conf
Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning.
CAV (1)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2020 J jnl
Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations.
IEEE Robotics Autom. Mag.
Esen Yel, Taylor J. Carpenter, Carmelo Di Franco, Radoslav Ivanov, Yiannis Kantaros, Insup Lee, James Weimer, Nicola Bezzo
2020 — conf
Case study: verifying the safety of an autonomous racing car with a neural network controller.
HSCC
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2020 J jnl
VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems.
CoRR
Yiannis Kantaros, Taylor J. Carpenter, Sangdon Park, Radoslav Ivanov, Sooyong Jang, Insup Lee, James Weimer
2019 — conf
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
ARCH@CPSIoTWeek
Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov, Taylor T. Johnson
2019 J jnl
Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller.
CoRR
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2017 — conf
Cognitively-Inspired Computational Context.
AAAI Spring Symposia
Wayne Zachary, Taylor J. Carpenter
2017 Misc conf
Using context and robot-human communication to resolve unexpected situational conflicts.
CogSIMA
Taylor J. Carpenter, Wayne W. Zachary