SOTAVerified

Collision Avoidance

Papers

Showing 351360 of 569 papers

TitleStatusHype
Multi-agent systems with CBF-based controllers -- collision avoidance and liveness from instability0
Towards Semantic Communication Protocols: A Probabilistic Logic Perspective0
Learning-based Autonomous Channel Access in the Presence of Hidden Terminals0
Characterizing Within-Driver Variability in Driving Dynamics During Obstacle Avoidance Maneuvers0
Neural Network Verification with Proof Production0
Critic Sequential Monte Carlo0
Guiding Vector Fields for Following Occluded Paths0
The risk ethics of autonomous vehicles: a continuous trolley problem in regular road traffic0
Probabilistic Symmetry for Multi-Agent DynamicsCode0
Drone Flocking Optimization using NSGA-II and Principal Component Analysis0
Show:102550
← PrevPage 36 of 57Next →

Benchmark Results

#ModelMetricClaimedVerifiedStatus
1Eva-EVSAccuracy (L:R) - T168Unverified