SOTAVerified

Collision Avoidance

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 476–500 of 569 papers

TitleStatusHype
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 20 of 23Next →

Benchmark Results

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