SOTAVerified

Collision Avoidance

Papers

Showing 51100 of 569 papers

TitleStatusHype
Autonomous 3D Exploration in Large-Scale Environments with Dynamic ObstaclesCode1
Decentralized Social Navigation with Non-Cooperative Robots via Bi-Level OptimizationCode1
MotionBEV: Attention-Aware Online LiDAR Moving Object Segmentation with Bird's Eye View based Appearance and Motion FeaturesCode1
A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching NetworksCode1
Learning Maritime Obstacle Detection from Weak Annotations by ScaffoldingCode1
Multi-UAV Path Planning for Wireless Data Harvesting with Deep Reinforcement LearningCode1
Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-agent ControlCode1
Online 3D Bin Packing with Constrained Deep Reinforcement LearningCode1
Path Planning in Dynamic Environments using Generative RNNs and Monte Carlo Tree SearchCode1
Sim-to-real reinforcement learning applied to end-to-end vehicle controlCode1
Provable Repair of Deep Neural NetworksCode1
Backward Reachability Analysis for Neural Feedback LoopsCode1
VTGNet: A Vision-based Trajectory Generation Network for Autonomous Vehicles in Urban EnvironmentsCode1
Congestion-aware Multi-agent Trajectory Prediction for Collision AvoidanceCode1
Learning with Weak Annotations for Robust Maritime Obstacle DetectionCode1
Collision Probability Distribution Estimation via Temporal Difference LearningCode1
Probabilistic Symmetry for Multi-Agent DynamicsCode0
Probabilistic Safety for Bayesian Neural NetworksCode0
AUTOBargeSim: MATLAB(R) toolbox for the design and analysis of the guidance and control system for autonomous inland vesselsCode0
Pedestrian Collision Avoidance System for Scenarios with OcclusionsCode0
Provably Safe Neural Network Controllers via Differential Dynamic LogicCode0
Neural radiance fields in the industrial and robotics domain: applications, research opportunities and use casesCode0
Occlusion-Aware Crowd Navigation Using People as SensorsCode0
Reactive Collision Avoidance using Evolutionary Neural NetworksCode0
Motion Planning Among Dynamic, Decision-Making Agents with Deep Reinforcement LearningCode0
Monocular Pedestrian Orientation Estimation Based on Deep 2D-3D FeedforwardCode0
Collision Avoidance in Pedestrian-Rich Environments with Deep Reinforcement LearningCode0
ART: Abstraction Refinement-Guided Training for Provably Correct Neural NetworksCode0
Learning Sampling Distributions for Robot Motion PlanningCode0
Learning Probabilistic Trajectory Models of Aircraft in Terminal Airspace from Position DataCode0
libHOG: Energy-Efficient Histogram of Oriented Gradient ComputationCode0
Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State BackreachabilityCode0
Closed-Form Minkowski Sum Approximations for Efficient Optimization-Based Collision AvoidanceCode0
Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance SystemsCode0
Adversarial Robustness Certification for Bayesian Neural NetworksCode0
GAMMA: A General Agent Motion Model for Autonomous DrivingCode0
Approximate Stochastic Optimal Control for Linear Time Invariant Systems with Heavy-tailed DisturbancesCode0
Generalization through Simulation: Integrating Simulated and Real Data into Deep Reinforcement Learning for Vision-Based Autonomous FlightCode0
Formal Security Analysis of Neural Networks using Symbolic IntervalsCode0
FLP-XR: Future Location Prediction on Extreme Scale Maritime Data in Real-timeCode0
Formal Verification of Piece-Wise Linear Feed-Forward Neural NetworksCode0
Generating Probabilistic Safety Guarantees for Neural Network ControllersCode0
CAD2RL: Real Single-Image Flight without a Single Real ImageCode0
FIR-based Future Trajectory Prediction in Nighttime Autonomous DrivingCode0
Explainable AI for Ship Collision Avoidance: Decoding Decision-Making Processes and Behavioral IntentionsCode0
Experimental implementation of skeleton tracking for collision avoidance in collaborative roboticsCode0
Finding the Gap: Neuromorphic Motion Vision in Cluttered EnvironmentsCode0
Learning an Urban Air Mobility Encounter Model from Expert PreferencesCode0
Enhanced Importance Sampling through Latent Space Exploration in Normalizing FlowsCode0
Efficient Formal Safety Analysis of Neural NetworksCode0
Show:102550
← PrevPage 2 of 12Next →

Benchmark Results

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