SOTAVerified

Collision Avoidance

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 376–400 of 569 papers

TitleStatusHype
Collision-free Formation Control of Multiple Nano-quadrotors—0
Model Free Barrier Functions via Implicit Evading Maneuvers—0
Distributed Coverage Control of Multi-Agent Networks with Guaranteed Collision Avoidance in Cluttered Environments—0
Intelligent Momentary Assisted Control for Autonomous Emergency Braking—0
Convex Optimization for Parameter Synthesis in MDPsCode0
Continuous Control with Deep Reinforcement Learning for Autonomous Vessels—0
3D Object Detection for Autonomous Driving: A SurveyCode1
Temporal Logic Planning for Minimum-Time Positioning of Multiple Threat-Seduction Decoys—0
Collision Avoidance with Stochastic Model Predictive Control for Systems with a Twofold Uncertainty Structure—0
Courteous Behavior of Automated Vehicles at Unsignalized Intersections via Reinforcement Learning—0
Safe Feedback Motion Planning in Unknown Environments: An Instantaneous Local Control Barrier Function Approach—0
Time-series Imputation of Temporally-occluded Multiagent Trajectories—0
Risk Ranked Recall: Collision Safety Metric for Object Detection Systems in Autonomous Vehicles—0
PYROBOCOP : Python-based Robotic Control & Optimization Package for Manipulation and Collision Avoidance—0
A Guidance and Maneuvering Control System Design with Anti-collision Using Stream Functions with Vortex Flows for Autonomous Marine Vessels—0
DikpolaSat Mission: Improvement of Space Flight Performance and Optimal Control Using Trained Deep Neural Network -- Trajectory Controller for Space Objects Collision Avoidance—0
Interpretable UAV Collision Avoidance using Deep Reinforcement Learning—0
Cooperative Multi-Agent Path Finding: Beyond Path Planning and Collision Avoidance—0
ReLUSyn: Synthesizing Stealthy Attacks for Deep Neural Network Based Cyber-Physical Systems—0
Scaling up Memory-Efficient Formal Verification Tools for Tree EnsemblesCode0
Exploiting Vulnerabilities in Deep Neural Networks: Adversarial and Fault-Injection Attacks—0
MODS -- A USV-oriented object detection and obstacle segmentation benchmarkCode1
Pedestrian Collision Avoidance for Autonomous Vehicles at Unsignalized Intersection Using Deep Q-Network—0
Nearest-Neighbor-based Collision Avoidance for Quadrotors via Reinforcement Learning—0
Provable Repair of Deep Neural NetworksCode1
Show:102550
← PrevPage 16 of 23Next →

Benchmark Results

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