SOTAVerified

Collision Avoidance

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 301–350 of 569 papers

TitleStatusHype
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
A real-time dynamic obstacle tracking and mapping system for UAV navigation and collision avoidance with an RGB-D cameraCode2
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
Multi-agent systems with CBF-based controllers -- collision avoidance and liveness from instability—0
Performance Bounds for Cooperative Localisation in the Starlink Network—0
Towards Semantic Communication Protocols: A Probabilistic Logic Perspective—0
Learning-based Autonomous Channel Access in the Presence of Hidden Terminals—0
Efficient Spatial-Temporal Information Fusion for LiDAR-Based 3D Moving Object SegmentationCode2
Vector Field-based Collision Avoidance for Moving Obstacles with Time-Varying Elliptical ShapeCode1
Learning with Weak Annotations for Robust Maritime Obstacle DetectionCode1
Event-triggered and distributed model predictive control for guaranteed collision avoidance in UAV swarmsCode1
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
Backward Reachability Analysis for Neural Feedback LoopsCode1
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
Decentralized Safe Multi-agent Stochastic Optimal Control using Deep FBSDEs and ADMM—0
Estimation of Looming from LiDAR—0
DeepHybrid: Deep Learning on Automotive Radar Spectra and Reflections for Object Classification—0
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 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
Show:102550
← PrevPage 7 of 12Next →

Benchmark Results

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