SOTAVerified

Collision Avoidance

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 326–350 of 569 papers

TitleStatusHype
Frenet-Cartesian Model Representations for Automotive Obstacle Avoidance within Nonlinear MPC—0
A Review of Scene Representations for Robot Manipulators—0
Optimized Symbolic Interval Propagation for Neural Network Verification—0
DRIP: Domain Refinement Iteration with Polytopes for Backward Reachability Analysis of Neural Feedback Loops—0
Reward Function Optimization of a Deep Reinforcement Learning Collision Avoidance System—0
Quadratic Programming for Continuous Control of Safety-Critical Multi-Agent Systems Under Uncertainty—0
Normal Transformer: Extracting Surface Geometry from LiDAR Points Enhanced by Visual Semantics—0
Optimization based coordination of autonomous vehicles in confined areas—0
Singularity-free Formation Path Following of Underactuated AUVs: Extended Version—0
Causal Explanation for Reinforcement Learning: Quantifying State and Temporal Importance—0
Approximate Stochastic Optimal Control for Linear Time Invariant Systems with Heavy-tailed DisturbancesCode0
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
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
Performance Bounds for Cooperative Localisation in the Starlink Network—0
Show:102550
← PrevPage 14 of 23Next →

Benchmark Results

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