SOTAVerified

Collision Avoidance

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 126–150 of 569 papers

TitleStatusHype
Automated Automotive Radar Calibration With Intelligent Vehicles—0
A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks—0
Constructive barrier feedback for collision avoidance in leader-follower formation control—0
Conservative collision prediction and avoidance for stochastic trajectories in continuous time and space—0
AuraSense: Robot Collision Avoidance by Full Surface Proximity Detection—0
A Method for Vehicle Collision Risk Assessment through Inferring Driver's Braking Actions in Near-Crash Situations—0
Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning—0
Conflict-free joint decision by lag and zero-lag synchronization in laser network—0
Concurrent bandits and cognitive radio networks—0
A Tunable Universal Formula for Safety-Critical Control—0
Computing Preimages of Deep Neural Networks with Applications to Safety—0
Computer Vision based Animal Collision Avoidance Framework for Autonomous Vehicles—0
AttentionSwarm: Reinforcement Learning with Attention Control Barier Function for Crazyflie Drones in Dynamic Environments—0
Aligning Diffusion Model with Problem Constraints for Trajectory Optimization—0
Comparison of path following in ships using modern and traditional controllers—0
Combining Belief Function Theory and Stochastic Model Predictive Control for Multi-Modal Uncertainty in Autonomous Driving—0
A Tractable Handoff-aware Rate Outage Approximation with Applications to THz-enabled Vehicular Network Optimization—0
Combined Robust and Stochastic Model Predictive Control for Models of Different Granularity—0
COLREG-Compliant Collision Avoidance for Unmanned Surface Vehicle using Deep Reinforcement Learning—0
Asynchronous distributed collision avoidance with intention consensus for inland autonomous ships—0
A Learning Framework for Robust Bin Picking by Customized Grippers—0
Adaptive Genomic Evolution of Neural Network Topologies (AGENT) for State-to-Action Mapping in Autonomous Agents—0
Collision-free Source Seeking and Flocking Control of Multi-agents with Connectivity Preservation—0
Collision-Free Navigation using Evolutionary Symmetrical Neural Networks—0
Collision-Free Multi-Agent Coverage Control for Non-Cooperating Swarms: Preliminary Results—0
Show:102550
← PrevPage 6 of 23Next →

Benchmark Results

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