SOTAVerified

Collision Avoidance

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 351–375 of 569 papers

TitleStatusHype
Multi-agent systems with CBF-based controllers -- collision avoidance and liveness from instability—0
Towards Semantic Communication Protocols: A Probabilistic Logic Perspective—0
Learning-based Autonomous Channel Access in the Presence of Hidden Terminals—0
Characterizing Within-Driver Variability in Driving Dynamics During Obstacle Avoidance Maneuvers—0
Neural Network Verification with Proof Production—0
Critic Sequential Monte Carlo—0
Guiding Vector Fields for Following Occluded Paths—0
The risk ethics of autonomous vehicles: a continuous trolley problem in regular road traffic—0
Probabilistic Symmetry for Multi-Agent DynamicsCode0
Drone Flocking Optimization using NSGA-II and Principal Component Analysis—0
Collision Avoidance for Elliptical Agents with Control Barrier Function Utilizing Supporting Lines—0
FedCau: A Proactive Stop Policy for Communication and Computation Efficient Federated Learning—0
A Convex Optimal Control Framework for Autonomous Vehicle Intersection Crossing—0
Closed-Form Minkowski Sum Approximations for Efficient Optimization-Based Collision AvoidanceCode0
Collision-Free Navigation using Evolutionary Symmetrical Neural Networks—0
Gaussian Control Barrier Functions : A Non-Parametric Paradigm to Safety—0
Safe Hierarchical Model Predictive Control and Planning for Autonomous Systems—0
SMEMO: Social Memory for Trajectory Forecasting—0
Bi-Manual Manipulation and Attachment via Sim-to-Real Reinforcement Learning—0
A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks—0
Red Light, Green Light Game of Multi-Robot Systems with Safety Barrier Certificates—0
Estimation of Looming from LiDAR—0
Decentralized Safe Multi-agent Stochastic Optimal Control using Deep FBSDEs and ADMM—0
DeepHybrid: Deep Learning on Automotive Radar Spectra and Reflections for Object Classification—0
Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State BackreachabilityCode0
Show:102550
← PrevPage 15 of 23Next →

Benchmark Results

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