| Learning Sampling Distributions for Robot Motion Planning | Sep 16, 2017 | Collision AvoidanceMotion Planning | CodeCode Available | 0 |
| Risk-Aware Robot Control in Dynamic Environments Using Belief Control Barrier Functions | Apr 5, 2025 | Collision AvoidanceObject Tracking | CodeCode Available | 0 |
| Efficient Formal Safety Analysis of Neural Networks | Sep 19, 2018 | Adversarial AttackAdversarial Defense | CodeCode Available | 0 |
| Approximate Stochastic Optimal Control for Linear Time Invariant Systems with Heavy-tailed Disturbances | Oct 17, 2022 | Collision Avoidance | CodeCode Available | 0 |
| GAMMA: A General Agent Motion Model for Autonomous Driving | Jun 4, 2019 | Autonomous DrivingCollision Avoidance | CodeCode Available | 0 |
| Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks | May 3, 2017 | Collision AvoidanceHandwritten Digit Recognition | CodeCode Available | 0 |
| libHOG: Energy-Efficient Histogram of Oriented Gradient Computation | Sep 15, 2015 | Collision AvoidanceCPU | CodeCode Available | 0 |
| ECAM: A Contrastive Learning Approach to Avoid Environmental Collision in Trajectory Forecasting | Jun 11, 2025 | Autonomous DrivingCollision Avoidance | CodeCode Available | 0 |
| Curriculum RL meets Monte Carlo Planning: Optimization of a Real World Container Management Problem | Mar 21, 2025 | Collision AvoidanceManagement | CodeCode Available | 0 |
| ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks | Jul 17, 2019 | BIG-bench Machine LearningCollision Avoidance | CodeCode Available | 0 |
