-
Article
Global optimization of objective functions represented by ReLU networks
Neural networks can learn complex, non-convex functions, and it is challenging to guarantee their correct behavior in safety-critical contexts. Many approaches exist to find failures in networks (e.g., adversa...
-
Article
Generating probabilistic safety guarantees for neural network controllers
Neural networks serve as effective controllers in a variety of complex settings due to their ability to represent expressive policies. The complex nature of neural networks, however, makes their output difficu...
-
Article
Decomposition methods with deep corrections for reinforcement learning
Decomposition methods have been proposed to approximate solutions to large sequential decision making problems. In contexts where an agent interacts with multiple entities, utility decomposition can be used to...
