( en | de | ru )

 

Disambiguation of "Carpenter, Taylor J."

Author of the publication

copydeleteadd this publication to your clipboard
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

, , , , , , , , , and . ARCH@ADHS, volume 80 of EPiC Series in Computing, page 90-119. EasyChair, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ulrike Taylor

Frank Taylor

Kim Newak Carpenter

Russel Taylor

Paul Taylor

 

Other publications of authors with the same name

VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems., , , , , , and . CoRR, (2020)ModelGuard: Runtime Validation of Lipschitz-continuous Models., , , and . ADHS, volume 54 of IFAC-PapersOnLine, page 37-42. Elsevier, (2021)Confidence Composition for Monitors of Verification Assumptions., , , , , , and . ICCPS, page 1-12. IEEE, (2022)Cognitively-Inspired Computational Context., and . AAAI Spring Symposia, AAAI Press, (2017)Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning., , , , , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 249-262. Springer, (2021)Using context and robot-human communication to resolve unexpected situational conflicts., and . CogSIMA, page 1-7. IEEE, (2017)ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 103-119. EasyChair, (2019)ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , , , , and . ARCH@ADHS, volume 80 of EPiC Series in Computing, page 90-119. EasyChair, (2021)Case study: verifying the safety of an autonomous racing car with a neural network controller., , , , , and . HSCC, page 28:1-28:7. ACM, (2020)Real-time detectors for digital and physical adversarial inputs to perception systems., , , , , and . ICCPS, page 67-76. ACM, (2021)