SOTAVerified

Collision Avoidance

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 301–325 of 569 papers

TitleStatusHype
Smooth Trajectory Collision Avoidance through Deep Reinforcement Learning—0
On the Forward Invariance of Neural ODEs—0
COPILOT: Human-Environment Collision Prediction and Localization from Egocentric Videos—0
Occlusion-Aware Crowd Navigation Using People as SensorsCode0
Modeling driver's evasive behavior during safety-critical lane changes:Two-dimensional time-to-collision and deep reinforcement learning—0
Generalization in Deep Reinforcement Learning for Robotic Navigation by Reward Shaping—0
Obstacle Identification and Ellipsoidal Decomposition for Fast Motion Planning in Unknown Dynamic Environments—0
Generating Formal Safety Assurances for High-Dimensional Reachability—0
SAFER: Safe Collision Avoidance using Focused and Efficient Trajectory Search with Reinforcement Learning—0
Decentralized Vehicle Coordination: The Berkeley DeepDrive Drone Dataset and Consensus-Based Models—0
A real-time dynamic obstacle tracking and mapping system for UAV navigation and collision avoidance with an RGB-D cameraCode2
Scalable Task-Driven Robotic Swarm Control via Collision Avoidance and Learning Mean-Field Control—0
Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System—0
Distributed Safe Learning and Planning for Multi-robot Systems—0
Multi-agent systems with CBF-based controllers -- collision avoidance and liveness from instability—0
Performance Bounds for Cooperative Localisation in the Starlink Network—0
Towards Semantic Communication Protocols: A Probabilistic Logic Perspective—0
Learning-based Autonomous Channel Access in the Presence of Hidden Terminals—0
Efficient Spatial-Temporal Information Fusion for LiDAR-Based 3D Moving Object SegmentationCode2
Vector Field-based Collision Avoidance for Moving Obstacles with Time-Varying Elliptical ShapeCode1
Learning with Weak Annotations for Robust Maritime Obstacle DetectionCode1
Event-triggered and distributed model predictive control for guaranteed collision avoidance in UAV swarmsCode1
Characterizing Within-Driver Variability in Driving Dynamics During Obstacle Avoidance Maneuvers—0
Neural Network Verification with Proof Production—0
Critic Sequential Monte Carlo—0
Show:102550
← PrevPage 13 of 23Next →

Benchmark Results

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