SOTAVerified

Collision Avoidance

Papers

Showing 5175 of 569 papers

TitleStatusHype
3D Object Detection for Autonomous Driving: A SurveyCode1
Reluplex: An Efficient SMT Solver for Verifying Deep Neural NetworksCode1
Scalable Multi-Agent Reinforcement Learning through Intelligent Information AggregationCode1
A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching NetworksCode1
A Combination of Theta*, ORCA and Push and Rotate for Multi-agent NavigationCode1
Social GAN: Socially Acceptable Trajectories with Generative Adversarial NetworksCode1
Towards Low-Latency Event-based Obstacle Avoidance on a FPGA-DroneCode1
TrajDiffuse: A Conditional Diffusion Model for Environment-Aware Trajectory PredictionCode1
Autonomous 3D Exploration in Large-Scale Environments with Dynamic ObstaclesCode1
HabiCrowd: A High Performance Simulator for Crowd-Aware Visual NavigationCode1
FlightForge: Advancing UAV Research with Procedural Generation of High-Fidelity Simulation and Integrated AutonomyCode1
Congestion-aware Multi-agent Trajectory Prediction for Collision AvoidanceCode1
Deep Reinforcement Learning for Human-Like Driving Policies in Collision Avoidance Tasks of Self-Driving CarsCode1
Event-triggered and distributed model predictive control for guaranteed collision avoidance in UAV swarmsCode1
Leader-Follower Formation Tracking Control of Quadrotor UAVs Using Bearing MeasurementsCode1
Dashing for the Golden Snitch: Multi-Drone Time-Optimal Motion Planning with Multi-Agent Reinforcement LearningCode1
Automated Process Planning for Hybrid Manufacturing0
Automated Automotive Radar Calibration With Intelligent Vehicles0
A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks0
A Method for Vehicle Collision Risk Assessment through Inferring Driver's Braking Actions in Near-Crash Situations0
AuraSense: Robot Collision Avoidance by Full Surface Proximity Detection0
Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning0
Adaptive Genomic Evolution of Neural Network Topologies (AGENT) for State-to-Action Mapping in Autonomous Agents0
A Tunable Universal Formula for Safety-Critical Control0
AttentionSwarm: Reinforcement Learning with Attention Control Barier Function for Crazyflie Drones in Dynamic Environments0
Show:102550
← PrevPage 3 of 23Next →

Benchmark Results

#ModelMetricClaimedVerifiedStatus
1Eva-EVSAccuracy (L:R) - T168Unverified