| Provably Safe Neural Network Controllers via Differential Dynamic Logic | Feb 16, 2024 | Collision Avoidance | CodeCode Available | 0 |
| Closed-Form Minkowski Sum Approximations for Efficient Optimization-Based Collision Avoidance | Mar 30, 2022 | Collision AvoidanceForm | CodeCode Available | 0 |
| Generalization through Simulation: Integrating Simulated and Real Data into Deep Reinforcement Learning for Vision-Based Autonomous Flight | Feb 11, 2019 | Collision AvoidanceDeep Reinforcement Learning | CodeCode Available | 0 |
| Towards Optimally Decentralized Multi-Robot Collision Avoidance via Deep Reinforcement Learning | Sep 28, 2017 | Collision AvoidanceDeep Reinforcement Learning | CodeCode Available | 0 |
| Learning Probabilistic Trajectory Models of Aircraft in Terminal Airspace from Position Data | Oct 22, 2018 | Collision AvoidancePosition | CodeCode Available | 0 |
| 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 |
| SIGMA: Sheaf-Informed Geometric Multi-Agent Pathfinding | Feb 10, 2025 | Collision AvoidanceDeep Reinforcement Learning | CodeCode Available | 0 |
| Neural radiance fields in the industrial and robotics domain: applications, research opportunities and use cases | Aug 14, 2023 | Collision AvoidanceMotion Estimation | CodeCode Available | 0 |
| Pedestrian Collision Avoidance System for Scenarios with Occlusions | Apr 25, 2019 | Autonomous DrivingCollision Avoidance | CodeCode Available | 0 |
| Zero-Order Control Barrier Functions for Sampled-Data Systems with State and Input Dependent Safety Constraints | Nov 26, 2024 | Collision Avoidance | CodeCode Available | 0 |
| Formal Security Analysis of Neural Networks using Symbolic Intervals | Apr 28, 2018 | Autonomous VehiclesCollision Avoidance | CodeCode Available | 0 |
| Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability | Jan 17, 2022 | Collision AvoidanceNeural Network Compression | CodeCode Available | 0 |
| Revisiting Stereo Triangulation in UAV Distance Estimation | Jun 15, 2023 | Collision AvoidancePosition | CodeCode Available | 0 |
| Reactive Collision Avoidance using Evolutionary Neural Networks | Sep 27, 2016 | Collision Avoidance | CodeCode Available | 0 |
| Convex Optimization for Parameter Synthesis in MDPs | Jun 30, 2021 | Collision Avoidance | CodeCode Available | 0 |
| Collision Avoidance Robotics Via Meta-Learning (CARML) | Jul 16, 2020 | Collision AvoidanceMeta-Learning | CodeCode Available | 0 |
