SOTAVerified

Collision Avoidance

Papers

Showing 76100 of 569 papers

TitleStatusHype
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 4 of 23Next →

Benchmark Results

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