Global optimization of objective functions represented by ReLU networks

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 20, 2021
Source ID
10.1007/s10994-021-06050-2

Entities

People

  • Aleksandar Zeljić
  • Christopher A. Strong
  • Clark Barrett
  • Guy Katz
  • Haoze Wu
  • Kyle D. Julian
  • Mykel Kochenderfer

Organizations

  • Defense Advanced Research Projects Agency