SOTAVerified

Collision Avoidance

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 451–500 of 569 papers

TitleStatusHype
Improving Point Cloud Semantic Segmentation by Learning 3D Object Detection—0
Trajectory planning with a dynamic obstacle clustering strategy using Mixed-Integer Linear Programming—0
Model-Reference Reinforcement Learning for Collision-Free Tracking Control of Autonomous Surface Vehicles—0
Spacecraft Collision Avoidance Challenge: design and results of a machine learning competition—0
Risk-Averse MPC via Visual-Inertial Input and Recurrent Networks for Online Collision Avoidance—0
Enhanced Transfer Learning for Autonomous Driving with Systematic Accident Simulation—0
Collision Avoidance Robotics Via Meta-Learning (CARML)Code0
Nonlinear Adaptive Cruise Control of Vehicular Platoons—0
On the Feasibility of Exploiting Traffic Collision Avoidance System Vulnerabilities—0
Distributed Collision-Free Motion Coordination on a Sphere: A Conic Control Barrier Function Approach—0
Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility—0
Deep Reinforcement Learning Controller for 3D Path-following and Collision Avoidance by Autonomous Underwater Vehicles—0
COLREG-Compliant Collision Avoidance for Unmanned Surface Vehicle using Deep Reinforcement Learning—0
Distributed multi-robot collision avoidance via deep reinforcement learning for navigation in complex scenarios—0
Angle-Constrained Formation Control for Circular Mobile Robots—0
A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems—0
A Method for Vehicle Collision Risk Assessment through Inferring Driver's Braking Actions in Near-Crash Situations—0
Probabilistic Safety for Bayesian Neural NetworksCode0
Autonomous Emergency Collision Avoidance and Stabilisation in Structured Environments—0
Certifiable Robustness to Adversarial State Uncertainty in Deep Reinforcement Learning—0
Exploration of Reinforcement Learning for Event Camera using Car-like Robots—0
Optimized Directed Roadmap Graph for Multi-Agent Path Finding Using Stochastic Gradient Descent—0
GraphTCN: Spatio-Temporal Interaction Modeling for Human Trajectory Prediction—0
Combined Robust and Stochastic Model Predictive Control for Models of Different Granularity—0
Wireless communication for safe UAVs: From Long-Range Deconfliction to short-range collision avoidance—0
Single-Shot Pose Estimation of Surgical Robot Instruments' Shafts from Monocular Endoscopic Images—0
Learning Probabilistic Intersection Traffic Models for Trajectory Prediction—0
Safe Predictors for Enforcing Input-Output Specifications—0
Optimizing Collision Avoidance in Dense Airspace using Deep Reinforcement Learning—0
Taming an autonomous surface vehicle for path following and collision avoidance using deep reinforcement learning—0
Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance SystemsCode0
A pedestrian path-planning model in accordance with obstacle's danger with reinforcement learning—0
Following Social Groups: Socially Compliant Autonomous Navigation in Dense Crowds—0
LAC-Nav: Collision-Free Mutiagent Navigation Based on The Local Action Cells—0
Fully Bayesian Recurrent Neural Networks for Safe Reinforcement Learning—0
End to end collision avoidance based on optical flow and neural networks—0
Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety (Expanded Version)—0
Certified Adversarial Robustness for Deep Reinforcement Learning—0
Autonomous docking using direct optimal control—0
Simplifying Neural Networks using Formal Verification—0
Collision Avoidance in Pedestrian-Rich Environments with Deep Reinforcement LearningCode0
Online Synthesis for Runtime Enforcement of Safety in Multi-Agent Systems—0
Federated Transfer Reinforcement Learning for Autonomous Driving—0
DeepMNavigate: Deep Reinforced Multi-Robot Navigation Unifying Local & Global Collision Avoidance—0
Multi-Agent Hierarchical Reinforcement Learning for Humanoid Navigation—0
Monocular Pedestrian Orientation Estimation Based on Deep 2D-3D FeedforwardCode0
Efficient Multi-Agent Trajectory Planning with Feasibility Guarantee using Relative Bernstein PolynomialCode0
Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control—0
Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks—0
Force-based Algorithm for Motion Planning of Large Agent Teams—0
Show:102550
← PrevPage 10 of 12Next →

Benchmark Results

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