( 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)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)Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations., , , , , , , and . IEEE Robotics Autom. Mag., 27 (2): 102-116 (2020)Confidence Composition for Monitors of Verification Assumptions., , , , , , and . CoRR, (2021)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)Verifying the Safety of Autonomous Systems with Neural Network Controllers., , , , , and . ACM Trans. Embed. Comput. Syst., 20 (1): 7:1-7:26 (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)Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller., , , , , and . CoRR, (2019)ModelGuard: Runtime Validation of Lipschitz-continuous Models., , , and . ADHS, volume 54 of IFAC-PapersOnLine, page 37-42. Elsevier, (2021)