![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
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
Guest Editorial: Special issue on robust machine learning
-
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
Dynamic multi-robot task allocation under uncertainty and temporal constraints
We consider the problem of dynamically allocating tasks to multiple agents under time window constraints and task completion uncertainty. Our objective is to minimize the number of unsuccessful tasks at the en...
-
Article
Aircraft Collision Avoidance Using Monte Carlo Real-Time Belief Space Search
The aircraft collision avoidance problem can be formulated using a decision-theoretic planning framework where the optimal behavior requires balancing the competing objectives of avoiding collision and adherin...