SOTAVerified

Collision Avoidance

Papers

Showing 51–100 of 569 papers

TitleStatusHype
3D Object Detection for Autonomous Driving: A SurveyCode1
MotionBEV: Attention-Aware Online LiDAR Moving Object Segmentation with Bird's Eye View based Appearance and Motion FeaturesCode1
Multi-Agent Reinforcement Learning for Unmanned Aerial Vehicle Coordination by Multi-Critic Policy Gradient OptimizationCode1
A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching NetworksCode1
Congestion-aware Multi-agent Trajectory Prediction for Collision AvoidanceCode1
Autonomous 3D Exploration in Large-Scale Environments with Dynamic ObstaclesCode1
Online 3D Bin Packing with Constrained Deep Reinforcement LearningCode1
Path Planning in Dynamic Environments using Generative RNNs and Monte Carlo Tree SearchCode1
Dynamic Neural Potential Field: Online Trajectory Optimization in Presence of Moving ObstaclesCode1
Decentralized Social Navigation with Non-Cooperative Robots via Bi-Level OptimizationCode1
Backward Reachability Analysis for Neural Feedback LoopsCode1
Provable Repair of Deep Neural NetworksCode1
Reluplex: An Efficient SMT Solver for Verifying Deep Neural NetworksCode1
Social GAN: Socially Acceptable Trajectories with Generative Adversarial NetworksCode1
VTGNet: A Vision-based Trajectory Generation Network for Autonomous Vehicles in Urban EnvironmentsCode1
GP-guided MPPI for Efficient Navigation in Complex Unknown Cluttered EnvironmentsCode1
Probabilistic Symmetry for Multi-Agent DynamicsCode0
Provably Safe Neural Network Controllers via Differential Dynamic LogicCode0
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
Probabilistic Safety for Bayesian Neural NetworksCode0
Reactive Collision Avoidance using Evolutionary Neural NetworksCode0
Occlusion-Aware Crowd Navigation Using People as SensorsCode0
Neural radiance fields in the industrial and robotics domain: applications, research opportunities and use casesCode0
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
libHOG: Energy-Efficient Histogram of Oriented Gradient ComputationCode0
Learning Probabilistic Trajectory Models of Aircraft in Terminal Airspace from Position DataCode0
Learning Sampling Distributions for Robot Motion PlanningCode0
Real-time Vehicle-to-Vehicle Communication Based Network Cooperative Control System through Distributed Database and Multimodal Perception: Demonstrated in CrossroadsCode0
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
Adversarial Robustness Certification for Bayesian Neural NetworksCode0
Learning an Urban Air Mobility Encounter Model from Expert PreferencesCode0
Generalization through Simulation: Integrating Simulated and Real Data into Deep Reinforcement Learning for Vision-Based Autonomous FlightCode0
Approximate Stochastic Optimal Control for Linear Time Invariant Systems with Heavy-tailed DisturbancesCode0
Generating Probabilistic Safety Guarantees for Neural Network ControllersCode0
Formal Verification of Piece-Wise Linear Feed-Forward Neural NetworksCode0
Formal Security Analysis of Neural Networks using Symbolic IntervalsCode0
GAMMA: A General Agent Motion Model for Autonomous DrivingCode0
CAD2RL: Real Single-Image Flight without a Single Real ImageCode0
Finding the Gap: Neuromorphic Motion Vision in Cluttered EnvironmentsCode0
Explainable AI for Ship Collision Avoidance: Decoding Decision-Making Processes and Behavioral IntentionsCode0
FIR-based Future Trajectory Prediction in Nighttime Autonomous DrivingCode0
FLP-XR: Future Location Prediction on Extreme Scale Maritime Data in Real-timeCode0
Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance SystemsCode0
Enhanced Importance Sampling through Latent Space Exploration in Normalizing FlowsCode0
Efficient Multi-Agent Trajectory Planning with Feasibility Guarantee using Relative Bernstein PolynomialCode0
Show:102550
← PrevPage 2 of 12Next →

Benchmark Results

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