| Are socially-aware trajectory prediction models really socially-aware? | Aug 24, 2021 | Adversarial RobustnessAutonomous Navigation | CodeCode Available | 1 |
| Verifying Low-dimensional Input Neural Networks via Input Quantization | Aug 18, 2021 | Collision AvoidanceQuantization | —Unverified | 0 |
| AuraSense: Robot Collision Avoidance by Full Surface Proximity Detection | Aug 10, 2021 | Collision Avoidance | —Unverified | 0 |
| Neural Network Repair with Reachability Analysis | Aug 9, 2021 | Collision Avoidance | —Unverified | 0 |
| Learning Maritime Obstacle Detection from Weak Annotations by Scaffolding | Aug 1, 2021 | Collision AvoidanceSegmentation | CodeCode Available | 1 |
| Collision-free Formation Control of Multiple Nano-quadrotors | Jul 28, 2021 | Collision Avoidance | —Unverified | 0 |
| Model Free Barrier Functions via Implicit Evading Maneuvers | Jul 27, 2021 | Collision Avoidancemodel | —Unverified | 0 |
| Distributed Coverage Control of Multi-Agent Networks with Guaranteed Collision Avoidance in Cluttered Environments | Jul 8, 2021 | Collision Avoidance | —Unverified | 0 |
| Intelligent Momentary Assisted Control for Autonomous Emergency Braking | Jul 2, 2021 | Collision AvoidanceFriction | —Unverified | 0 |
| Convex Optimization for Parameter Synthesis in MDPs | Jun 30, 2021 | Collision Avoidance | CodeCode Available | 0 |
