External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

kProp: Multi-neuron Relaxation Method for Neural Network Robustness Verification

Xiaoyong Xue, Xiyue Zhang, Meng Sun 0002. kProp: Multi-neuron Relaxation Method for Neural Network Robustness Verification. In Hossein Hojjat, Erika Ábrahám, editors, Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers. Volume 14155 of Lecture Notes in Computer Science, pages 142-156, Springer, 2023. [doi]

Authors

Xiaoyong Xue

This author has not been identified. Look up 'Xiaoyong Xue' in Google

Xiyue Zhang

This author has not been identified. Look up 'Xiyue Zhang' in Google

Meng Sun 0002

This author has not been identified. Look up 'Meng Sun 0002' in Google
runs on