| Learning Probabilistic Trajectory Models of Aircraft in Terminal Airspace from Position Data | Oct 22, 2018 | Collision AvoidancePosition | CodeCode Available | 0 | 5 |
| ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks | Jul 17, 2019 | BIG-bench Machine LearningCollision Avoidance | CodeCode Available | 0 | 5 |
| Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems | Dec 15, 2019 | Collision Avoidance | CodeCode Available | 0 | 5 |
| 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 | 5 |
| Generating Probabilistic Safety Guarantees for Neural Network Controllers | Mar 1, 2021 | Collision Avoidance | CodeCode Available | 0 | 5 |
| FLP-XR: Future Location Prediction on Extreme Scale Maritime Data in Real-time | Mar 10, 2025 | Collision AvoidanceManagement | CodeCode Available | 0 | 5 |
| Adversarial Robustness Certification for Bayesian Neural Networks | Jun 23, 2023 | Adversarial RobustnessCollision Avoidance | CodeCode Available | 0 | 5 |
| FIR-based Future Trajectory Prediction in Nighttime Autonomous Driving | Mar 31, 2023 | Autonomous DrivingAutonomous Vehicles | CodeCode Available | 0 | 5 |
| Formal Security Analysis of Neural Networks using Symbolic Intervals | Apr 28, 2018 | Autonomous VehiclesCollision Avoidance | CodeCode Available | 0 | 5 |
| Approximate Stochastic Optimal Control for Linear Time Invariant Systems with Heavy-tailed Disturbances | Oct 17, 2022 | Collision Avoidance | CodeCode Available | 0 | 5 |
