SOTAVerified

Collision Avoidance

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 351–400 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
Uncertainty Quantification Techniques for Space Weather Modeling: Thermospheric Density Application—0
Bearing-based Autonomous Communication Relay Positioning under Field-of-View Constraints—0
Model-Based Safe Reinforcement Learning with Time-Varying State and Control Constraints: An Application to Intelligent Vehicles—0
Towards Disturbance-Free Visual Mobile ManipulationCode0
Applications of Explainable AI for 6G: Technical Aspects, Use Cases, and Research Challenges—0
Pragmatic Implementation of Reinforcement Algorithms For Path Finding On Raspberry Pi—0
MDPFuzz: Testing Models Solving Markov Decision Processes—0
Machine Learning Subsystem for Autonomous Collision Avoidance on a small UAS with Embedded GPU—0
Risk-based implementation of COLREGs for autonomous surface vehicles using deep reinforcement learning—0
Unscented Kalman Filter for Long-Distance Vessel Tracking in Geodetic Coordinates—0
Anti-Jamming Games in Multi-Band Wireless Ad Hoc Networks—0
Clustering-based Multicast Scheme for UAV Networks—0
A Geometry-Based Stochastic Model for Truck Communication Channels in Freeway Scenarios—0
Minimal Multi-Layer Modifications of Deep Neural Networks—0
Real-time Nonlinear MPC Strategy with Full Vehicle Validation for Autonomous Driving—0
Modeling Interactions of Autonomous Vehicles and Pedestrians with Deep Multi-Agent Reinforcement Learning for Collision Avoidance—0
Stigmergy-based collision-avoidance algorithm for self-organising swarms—0
Stochastic MPC with Multi-modal Predictions for Traffic Intersections—0
Autonomous Vision-based UAV Landing with Collision Avoidance using Deep Learning—0
An Efficient Deep Learning Approach Using Improved Generative Adversarial Networks for Incomplete Information Completion of Self-driving—0
Distributed Swarm Collision Avoidance Based on Angular Calculations—0
Verifying Low-dimensional Input Neural Networks via Input Quantization—0
AuraSense: Robot Collision Avoidance by Full Surface Proximity Detection—0
Neural Network Repair with Reachability Analysis—0
Collision-free Formation Control of Multiple Nano-quadrotors—0
Show:102550
← PrevPage 8 of 12Next →

Benchmark Results

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