From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

T. Johnson, D. Lopez, L. Benet, M. Forets, S. Guadalupe, C. Schilling, R. Ivanov, T. Carpenter, J. Weimer, и I. Lee. ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 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.

Ulrike Taylor

Frank Taylor

Kim Newak Carpenter

Russel Taylor

Paul Taylor

Другие публикации лиц с тем же именем

VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems.Y. Kantaros, T. Carpenter, S. Park, R. Ivanov, S. Jang, I. Lee, и J. Weimer. CoRR, (2020)ModelGuard: Runtime Validation of Lipschitz-continuous Models.T. Carpenter, R. Ivanov, I. Lee, и J. Weimer. ADHS, том 54 из IFAC-PapersOnLine, стр. 37-42. Elsevier, (2021)Confidence Composition for Monitors of Verification Assumptions.I. Ruchkin, M. Cleaveland, R. Ivanov, P. Lu, T. Carpenter, O. Sokolsky, и I. Lee. ICCPS, стр. 1-12. IEEE, (2022)Cognitively-Inspired Computational Context.W. Zachary, и T. Carpenter. AAAI Spring Symposia, AAAI Press, (2017)Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning.R. Ivanov, T. Carpenter, J. Weimer, R. Alur, G. Pappas, и I. Lee. CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 249-262. Springer, (2021)ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.T. Johnson, D. Lopez, L. Benet, M. Forets, S. Guadalupe, C. Schilling, R. Ivanov, T. Carpenter, J. Weimer, и I. Lee. ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 90-119. EasyChair, (2021)Case study: verifying the safety of an autonomous racing car with a neural network controller.R. Ivanov, T. Carpenter, J. Weimer, R. Alur, G. Pappas, и I. Lee. HSCC, стр. 28:1-28:7. ACM, (2020)Using context and robot-human communication to resolve unexpected situational conflicts.T. Carpenter, и W. Zachary. CogSIMA, стр. 1-7. IEEE, (2017)ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.D. Lopez, P. Musau, H. Tran, S. Dutta, T. Carpenter, R. Ivanov, и T. Johnson. ARCH@CPSIoTWeek, том 61 из EPiC Series in Computing, стр. 103-119. EasyChair, (2019)Real-time detectors for digital and physical adversarial inputs to perception systems.Y. Kantaros, T. Carpenter, K. Sridhar, Y. Yang, I. Lee, и J. Weimer. ICCPS, стр. 67-76. ACM, (2021)

BibSonomy

Disambiguation