SOTAVerified

Collision Avoidance

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 451–500 of 569 papers

TitleStatusHype
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
Deep Reinforcement Learning for Human-Like Driving Policies in Collision Avoidance Tasks of Self-Driving CarsCode1
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
VTGNet: A Vision-based Trajectory Generation Network for Autonomous Vehicles in Urban EnvironmentsCode1
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
Trajectory Optimization for Nonlinear Multi-Agent Systems using Decentralized Learning Model Predictive ControlCode1
Optimized Directed Roadmap Graph for Multi-Agent Path Finding Using Stochastic Gradient Descent—0
L2B: Learning to Balance the Safety-Efficiency Trade-off in Interactive Crowd-aware Robot NavigationCode1
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
Path Planning in Dynamic Environments using Generative RNNs and Monte Carlo Tree SearchCode1
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
A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching NetworksCode1
Learning Vision-based Flight in Drone Swarms by Imitation—0
To Learn or Not to Learn: Analyzing the Role of Learning for Navigation in Virtual Environments—0
Show:102550
← PrevPage 10 of 12Next →

Benchmark Results

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