Collision Avoidance

Benchmarks archive 2025-07-28

1 leaderboard table shown for this task, 1 with rows (a “benchmark” on this site is a table with at least one row, as on /sota), ordered by row count. “Best model” is the first row in the archive's own order at snapshot; nothing is re-ranked here and metric direction is not recorded in the archive. PwC's Trend sparklines are not in the archive, so that column is omitted.

Syntology column: samples harvested from the paper's repositories and executed on synthesized fixtures; “ran” is not a correctness claim and does not order the table. A dash means no Syntology record for that paper, not a recorded non-run. Read from the graph 2026-09-24.

Libraries

Not in the archive: the export carries no per-task library table, so there is nothing to show at snapshot 2025-07-28.

Datasets archive 2025-07-28

2 datasets whose archive record lists this task, ordered by the archive's paper count.

Subtasks archive 2025-07-28

No subtask under this task in the archive's task tree.

Most implemented papers archive 2025-07-28

30 shown of 122 papers with code (569 tagged with this task in all), ordered by repositories listed in the archive, not by stars (the archive holds no stars, so PwC's “Social” and “Latest” sorts cannot be reproduced). Papers without a page here are shown as plain text.

• Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
  3 Feb 2017 9 repositories listed
  Deep neural networks have emerged as a widely used and effective means for tackling complex, real-world problems.
• Social GAN: Socially Acceptable Trajectories with Generative Adversarial Networks
  29 Mar 2018 8 repositories listed Syntology ran 4 of 10 samples · 6 unverified · 4 pointer-only (licence)
  Understanding human motion behavior is critical for autonomous moving platforms (like self-driving cars and social robots) if they are to navigate human-centric environments.
• Motion Planning Among Dynamic, Decision-Making Agents with Deep Reinforcement Learning
  4 May 2018 6 repositories listed Syntology ran 0 of 6 samples · 6 unverified
  This work extends our previous approach to develop an algorithm that learns collision avoidance among a variety of types of dynamic agents without assuming they follow any particular behavior rules.
• Formal Security Analysis of Neural Networks using Symbolic Intervals
  28 Apr 2018 4 repositories listed Syntology ran 0 of 15 samples · 15 unverified
  In this paper, we present a new direction for formally checking security properties of DNNs without using SMT solvers.
• Collision Avoidance in Pedestrian-Rich Environments with Deep Reinforcement Learning
  24 Oct 2019 3 repositories listed
  Collision avoidance algorithms are essential for safe and efficient robot operation among pedestrians.
• Asynchronous Blob Tracker for Event Cameras
  20 Jul 2023 2 repositories listed
  Event-based cameras are popular for tracking fast-moving objects due to their high temporal resolution, low latency, and high dynamic range.
• Scalable Multi-Agent Reinforcement Learning through Intelligent Information Aggregation
  3 Nov 2022 2 repositories listed Syntology ran 1 of 1 samples · 0 unverified
  We consider the problem of multi-agent navigation and collision avoidance when observations are limited to the local neighborhood of each agent.
• Backward Reachability Analysis for Neural Feedback Loops
  14 Apr 2022 2 repositories listed
  The increasing prevalence of neural networks (NNs) in safety-critical applications calls for methods to certify their behavior and guarantee safety.
• Learning Practically Feasible Policies for Online 3D Bin Packing
  31 Aug 2021 2 repositories listed
  In this problem, the items are delivered to the agent without informing the full sequence information.
• Are socially-aware trajectory prediction models really socially-aware?
  24 Aug 2021 2 repositories listed
  An attack is a small yet carefully-crafted perturbations to fail predictors.
• Learning Maritime Obstacle Detection from Weak Annotations by Scaffolding
  1 Aug 2021 2 repositories listed
  Per-pixel ground truth labeling of such datasets, however, is labor-intensive and expensive.
• Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles
  6 May 2021 2 repositories listed
  To guarantee that machine learning models yield outputs that are not only accurate, but also robust, recent works propose formally verifying robustness properties of machine learning models.
• MODS -- A USV-oriented object detection and obstacle segmentation benchmark
  5 May 2021 2 repositories listed
  We propose a new obstacle segmentation performance evaluation protocol that reflects the detection accuracy in a way meaningful for practical USV navigation.
• Provable Repair of Deep Neural Networks
  9 Apr 2021 2 repositories listed Syntology ran 0 of 4 samples · 4 unverified
  This has motivated a large number of techniques for finding unsafe behavior in DNNs.
• Efficient Formal Safety Analysis of Neural Networks
  19 Sep 2018 2 repositories listed
  Our approach can check different safety properties and find concrete counterexamples for networks that are 10× larger than the ones supported by existing analysis techniques.
• Towards Optimally Decentralized Multi-Robot Collision Avoidance via Deep Reinforcement Learning
  28 Sep 2017 2 repositories listed
  We validate the learned sensor-level collision avoidance policy in a variety of simulated scenarios with thorough performance evaluations and show that the final learned policy is able to find time efficient,…
• Learning Sampling Distributions for Robot Motion Planning
  16 Sep 2017 2 repositories listed
  This paper proposes a methodology for non-uniform sampling, whereby a sampling distribution is learned from demonstrations, and then used to bias sampling.
• ECAM: A Contrastive Learning Approach to Avoid Environmental Collision in Trajectory Forecasting
  11 Jun 2025 1 repository listed
  This paper introduces ECAM (Environmental Collision Avoidance Module), a contrastive learning-based module to enhance collision avoidance ability with the environment.
• Towards Low-Latency Event-based Obstacle Avoidance on a FPGA-Drone
  14 Apr 2025 1 repository listed
  Our experiments demonstrate that the EVS model achieves a significantly higher effective frame rate (1 kHz) and lower temporal (-20 ms) and spatial prediction errors (-20 mm) compared to the RGB-based model,…
• Risk-Aware Robot Control in Dynamic Environments Using Belief Control Barrier Functions
  5 Apr 2025 1 repository listed
  Ensuring safety for autonomous robots operating in dynamic environments can be challenging due to factors such as unmodeled dynamics, noisy sensor measurements, and partial observability.
• AUTOBargeSim: MATLAB(R) toolbox for the design and analysis of the guidance and control system for autonomous inland vessels
  27 Mar 2025 1 repository listed
  This paper introduces AUTOBargeSim, a simulation toolbox for autonomous inland vessel guidance and control system design.
• Curriculum RL meets Monte Carlo Planning: Optimization of a Real World Container Management Problem
  21 Mar 2025 1 repository listed
  In this work, we augment reinforcement learning with an inference-time collision model to ensure safe and efficient container management in a waste-sorting facility with limited processing capacity.
• High-Order Control Barrier Functions: Insights and a Truncated Taylor-Based Formulation
  19 Mar 2025 1 repository listed
  We examine the complexity of the standard High-Order Control Barrier Function (HOCBF) approach and propose a truncated Taylor-based approach that reduces design parameters.
• FLP-XR: Future Location Prediction on Extreme Scale Maritime Data in Real-time
  10 Mar 2025 1 repository listed
  Movements of maritime vessels are inherently complex and challenging to model due to the dynamic and often unpredictable nature of maritime operations.
• Safe Distributed Learning-Enhanced Predictive Control for Multiple Quadrupedal Robots
  6 Mar 2025 1 repository listed
  Quadrupedal robots exhibit remarkable adaptability in unstructured environments, making them well-suited for formation control in real-world applications.
• Leader-Follower Formation Tracking Control of Quadrotor UAVs Using Bearing Measurements
  21 Feb 2025 1 repository listed
  This work addresses the practical problem of distributed formation tracking control of a group of quadrotor vehicles in a relaxed sensing graph topology with a very limited sensor set, where only one leader vehicle can…
• SIGMA: Sheaf-Informed Geometric Multi-Agent Pathfinding
  10 Feb 2025 1 repository listed
  To tackle this challenge, we introduce a new framework that applies sheaf theory to decentralized deep reinforcement learning, enabling agents to learn geometric cross-dependencies between each other through local…
• FlightForge: Advancing UAV Research with Procedural Generation of High-Fidelity Simulation and Integrated Autonomy
  7 Feb 2025 1 repository listed
  However, existing simulators often lack high-level autonomy, hindering their immediate applicability to complex tasks such as autonomous navigation in unknown environments.
• Enhanced Importance Sampling through Latent Space Exploration in Normalizing Flows
  6 Jan 2025 1 repository listed
  The latent space can be more easily explored during the search for a proposal distribution, and samples from the proposal distribution are recovered in the space of the target distribution via the invertible mapping.
• Monocular Obstacle Avoidance Based on Inverse PPO for Fixed-wing UAVs
  27 Nov 2024 1 repository listed
  After that, a reinforcement learning controller with a novel reward function is designed to balance the target approach and flight trajectory smoothness, satisfying the specific dynamic constraints and stability…

Syntology lines on 5 of the papers shown; no Syntology record for the others (a paper without an arXiv id cannot be joined to the graph, and absence from the graph layer is not a recorded non-run). “Ran” means the sample executed on a synthesized fixture, not that the paper's result was reproduced. Read from the graph 2026-09-24.