Skip to main content

and
  1. 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...

    Christopher A. Strong, Haoze Wu, Aleksandar Zeljić, Kyle D. Julian in Machine Learning (2023)

  2. Article

    Guest Editorial: Special issue on robust machine learning

    Ransalu Senanayake, Daniel J. Fremont, Mykel J. Kochenderfer in Machine Learning (2023)

  3. 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...

    Sydney M. Katz, Kyle D. Julian, Christopher A. Strong in Machine Learning (2023)

  4. No Access

    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...

    Shushman Choudhury, Jayesh K. Gupta, Mykel J. Kochenderfer in Autonomous Robots (2022)

  5. No Access

    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...

    Travis B. Wolf, Mykel J. Kochenderfer in Journal of Intelligent & Robotic Systems (2011)