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.

Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification

Tobias Ladner, Matthias Althoff. Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification. In Michael J. Wooldridge, Jennifer G. Dy, Sriraam Natarajan, editors, Thirty-Eigth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada. pages 21304-21311, AAAI Press, 2024. [doi]

Authors

Tobias Ladner

This author has not been identified. Look up 'Tobias Ladner' in Google

Matthias Althoff

This author has not been identified. Look up 'Matthias Althoff' in Google
runs on