SOTAVerified

Collision Avoidance

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 501–525 of 569 papers

TitleStatusHype
Semi-global Exponential Stability for Dual Quaternion Based Rigid-Body Tracking Control—0
Sequential Neural Barriers for Scalable Dynamic Obstacle Avoidance—0
Sequential Spatial Network for Collision Avoidance in Autonomous Driving—0
Short-term ASV Collision Avoidance with Static and Moving Obstacles—0
Simplifying Neural Networks using Formal Verification—0
Simultaneous Multi-Robot Motion Planning with Projected Diffusion Models—0
Single-Shot Pose Estimation of Surgical Robot Instruments' Shafts from Monocular Endoscopic Images—0
Singularity-free Formation Path Following of Underactuated AUVs: Extended Version—0
Situation-Aware Pedestrian Trajectory Prediction with Spatio-Temporal Attention Model—0
SMEMO: Social Memory for Trajectory Forecasting—0
Smooth Trajectory Collision Avoidance through Deep Reinforcement Learning—0
Social LSTM: Human Trajectory Prediction in Crowded Spaces—0
Socially Integrated Navigation: A Social Acting Robot with Deep Reinforcement Learning—0
Spacecraft Autonomous Decision-Planning for Collision Avoidance: a Reinforcement Learning Approach—0
Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance SystemsCode0
Probabilistic Safety for Bayesian Neural NetworksCode0
Learning an Urban Air Mobility Encounter Model from Expert PreferencesCode0
Probabilistic Symmetry for Multi-Agent DynamicsCode0
ConstrainedZero: Chance-Constrained POMDP Planning using Learned Probabilistic Failure Surrogates and Adaptive Safety ConstraintsCode0
Collision Avoidance in Pedestrian-Rich Environments with Deep Reinforcement LearningCode0
Enhanced Importance Sampling through Latent Space Exploration in Normalizing FlowsCode0
Vehicular Visible Light Positioning for Collision Avoidance and Platooning: A SurveyCode0
Collision Avoidance Verification of Multiagent Systems with Learned PoliciesCode0
Efficient Multi-Agent Trajectory Planning with Feasibility Guarantee using Relative Bernstein PolynomialCode0
Generating Probabilistic Safety Guarantees for Neural Network ControllersCode0
Show:102550
← PrevPage 21 of 23Next →

Benchmark Results

#ModelMetricClaimedVerifiedStatus
1Eva-EVSAccuracy (L:R) - T168—Unverified