SOTAVerified

Collision Avoidance

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 501–550 of 569 papers

TitleStatusHype
Semi-global Exponential Stability for Dual Quaternion Based Rigid-Body Tracking Control—0
Sequential Neural Barriers for Scalable Dynamic Obstacle Avoidance—0
Sequential Spatial Network for Collision Avoidance in Autonomous Driving—0
Short-term ASV Collision Avoidance with Static and Moving Obstacles—0
Simplifying Neural Networks using Formal Verification—0
Simultaneous Multi-Robot Motion Planning with Projected Diffusion Models—0
Single-Shot Pose Estimation of Surgical Robot Instruments' Shafts from Monocular Endoscopic Images—0
Singularity-free Formation Path Following of Underactuated AUVs: Extended Version—0
Situation-Aware Pedestrian Trajectory Prediction with Spatio-Temporal Attention Model—0
SMEMO: Social Memory for Trajectory Forecasting—0
Smooth Trajectory Collision Avoidance through Deep Reinforcement Learning—0
Social LSTM: Human Trajectory Prediction in Crowded Spaces—0
Socially Integrated Navigation: A Social Acting Robot with Deep Reinforcement Learning—0
Spacecraft Autonomous Decision-Planning for Collision Avoidance: a Reinforcement Learning Approach—0
Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance SystemsCode0
Probabilistic Safety for Bayesian Neural NetworksCode0
Learning an Urban Air Mobility Encounter Model from Expert PreferencesCode0
Probabilistic Symmetry for Multi-Agent DynamicsCode0
ConstrainedZero: Chance-Constrained POMDP Planning using Learned Probabilistic Failure Surrogates and Adaptive Safety ConstraintsCode0
Collision Avoidance in Pedestrian-Rich Environments with Deep Reinforcement LearningCode0
Enhanced Importance Sampling through Latent Space Exploration in Normalizing FlowsCode0
Vehicular Visible Light Positioning for Collision Avoidance and Platooning: A SurveyCode0
Collision Avoidance Verification of Multiagent Systems with Learned PoliciesCode0
Efficient Multi-Agent Trajectory Planning with Feasibility Guarantee using Relative Bernstein PolynomialCode0
Generating Probabilistic Safety Guarantees for Neural Network ControllersCode0
Provably Safe Neural Network Controllers via Differential Dynamic LogicCode0
Closed-Form Minkowski Sum Approximations for Efficient Optimization-Based Collision AvoidanceCode0
Generalization through Simulation: Integrating Simulated and Real Data into Deep Reinforcement Learning for Vision-Based Autonomous FlightCode0
Towards Optimally Decentralized Multi-Robot Collision Avoidance via Deep Reinforcement LearningCode0
Learning Probabilistic Trajectory Models of Aircraft in Terminal Airspace from Position DataCode0
Learning Sampling Distributions for Robot Motion PlanningCode0
Risk-Aware Robot Control in Dynamic Environments Using Belief Control Barrier FunctionsCode0
Efficient Formal Safety Analysis of Neural NetworksCode0
Approximate Stochastic Optimal Control for Linear Time Invariant Systems with Heavy-tailed DisturbancesCode0
GAMMA: A General Agent Motion Model for Autonomous DrivingCode0
Formal Verification of Piece-Wise Linear Feed-Forward Neural NetworksCode0
libHOG: Energy-Efficient Histogram of Oriented Gradient ComputationCode0
ECAM: A Contrastive Learning Approach to Avoid Environmental Collision in Trajectory ForecastingCode0
Curriculum RL meets Monte Carlo Planning: Optimization of a Real World Container Management ProblemCode0
ART: Abstraction Refinement-Guided Training for Provably Correct Neural NetworksCode0
SIGMA: Sheaf-Informed Geometric Multi-Agent PathfindingCode0
Neural radiance fields in the industrial and robotics domain: applications, research opportunities and use casesCode0
Pedestrian Collision Avoidance System for Scenarios with OcclusionsCode0
Zero-Order Control Barrier Functions for Sampled-Data Systems with State and Input Dependent Safety ConstraintsCode0
Formal Security Analysis of Neural Networks using Symbolic IntervalsCode0
Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State BackreachabilityCode0
Revisiting Stereo Triangulation in UAV Distance EstimationCode0
Reactive Collision Avoidance using Evolutionary Neural NetworksCode0
Convex Optimization for Parameter Synthesis in MDPsCode0
Collision Avoidance Robotics Via Meta-Learning (CARML)Code0
Show:102550
← PrevPage 11 of 12Next →

Benchmark Results

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