| Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems | Dec 15, 2019 | Collision Avoidance | CodeCode Available | 0 |
| A pedestrian path-planning model in accordance with obstacle's danger with reinforcement learning | Dec 6, 2019 | Collision Avoidancereinforcement-learning | —Unverified | 0 |
| Following Social Groups: Socially Compliant Autonomous Navigation in Dense Crowds | Nov 27, 2019 | Autonomous NavigationCollision Avoidance | —Unverified | 0 |
| LAC-Nav: Collision-Free Mutiagent Navigation Based on The Local Action Cells | Nov 12, 2019 | Collision AvoidanceNavigate | —Unverified | 0 |
| Fully Bayesian Recurrent Neural Networks for Safe Reinforcement Learning | Nov 8, 2019 | Collision Avoidancereinforcement-learning | —Unverified | 0 |
| End to end collision avoidance based on optical flow and neural networks | Nov 6, 2019 | Collision AvoidanceOptical Flow Estimation | —Unverified | 0 |
| Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety (Expanded Version) | Oct 31, 2019 | Autonomous VehiclesCollision Avoidance | —Unverified | 0 |
| Certified Adversarial Robustness for Deep Reinforcement Learning | Oct 28, 2019 | Adversarial RobustnessCollision Avoidance | —Unverified | 0 |
| Autonomous docking using direct optimal control | Oct 25, 2019 | Collision Avoidance | —Unverified | 0 |
| Simplifying Neural Networks using Formal Verification | Oct 25, 2019 | Collision Avoidance | —Unverified | 0 |
