SOTAVerified

Collision Avoidance

Papers

Showing 326350 of 569 papers

TitleStatusHype
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
Collision Avoidance for Elliptical Agents with Control Barrier Function Utilizing Supporting Lines0
FedCau: A Proactive Stop Policy for Communication and Computation Efficient Federated Learning0
Backward Reachability Analysis for Neural Feedback LoopsCode1
A Convex Optimal Control Framework for Autonomous Vehicle Intersection Crossing0
Closed-Form Minkowski Sum Approximations for Efficient Optimization-Based Collision AvoidanceCode0
Collision-Free Navigation using Evolutionary Symmetrical Neural Networks0
Gaussian Control Barrier Functions : A Non-Parametric Paradigm to Safety0
Safe Hierarchical Model Predictive Control and Planning for Autonomous Systems0
SMEMO: Social Memory for Trajectory Forecasting0
Bi-Manual Manipulation and Attachment via Sim-to-Real Reinforcement Learning0
A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks0
Red Light, Green Light Game of Multi-Robot Systems with Safety Barrier Certificates0
Decentralized Safe Multi-agent Stochastic Optimal Control using Deep FBSDEs and ADMM0
Estimation of Looming from LiDAR0
DeepHybrid: Deep Learning on Automotive Radar Spectra and Reflections for Object Classification0
Autonomous Driving on Curvy Roads Without Reliance on Frenet Frame: A Cartesian-Based Trajectory Planning MethodCode2
Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State BackreachabilityCode0
Uncertainty Quantification Techniques for Space Weather Modeling: Thermospheric Density Application0
Bearing-based Autonomous Communication Relay Positioning under Field-of-View Constraints0
Model-Based Safe Reinforcement Learning with Time-Varying State and Control Constraints: An Application to Intelligent Vehicles0
Towards Disturbance-Free Visual Mobile ManipulationCode0
Show:102550
← PrevPage 14 of 23Next →

Benchmark Results

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