| Designing Autonomous Vehicles: Evaluating the Role of Human Emotions and Social Norms | Aug 6, 2017 | Autonomous VehiclesCollision Avoidance | —Unverified | 0 |
| Validation of Enhanced Emotion Enabled Cognitive Agent Using Virtual Overlay Multi-Agent System Approach | Aug 4, 2017 | Autonomous VehiclesCollision Avoidance | —Unverified | 0 |
| Pedestrian Prediction by Planning using Deep Neural Networks | Jun 19, 2017 | Autonomous VehiclesCollision Avoidance | —Unverified | 0 |
| 3D Pathfinding and Collision Avoidance Using Uneven Search-space Quantization and Visual Cone Search | Jun 5, 2017 | Collision AvoidanceQuantization | —Unverified | 0 |
| Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks | May 3, 2017 | Collision AvoidanceHandwritten Digit Recognition | CodeCode Available | 0 |
| Uncertainty-Aware Reinforcement Learning for Collision Avoidance | Feb 3, 2017 | Collision AvoidanceNavigate | —Unverified | 0 |
| Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks | Feb 3, 2017 | Collision Avoidance | CodeCode Available | 1 |
| Safety Verification and Control for Collision Avoidance at Road Intersections | Dec 8, 2016 | BlockingCollision Avoidance | —Unverified | 0 |
| Re-identification of Humans in Crowds using Personal, Social and Environmental Constraints | Dec 7, 2016 | Collision AvoidancePerson Re-Identification | —Unverified | 0 |
| CAD2RL: Real Single-Image Flight without a Single Real Image | Nov 13, 2016 | 3D geometryCollision Avoidance | CodeCode Available | 0 |
