SOTAVerified

Collision Avoidance

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–100 of 569 papers

TitleStatusHype
Congestion-aware Multi-agent Trajectory Prediction for Collision AvoidanceCode1
Reluplex: An Efficient SMT Solver for Verifying Deep Neural NetworksCode1
Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-agent ControlCode1
A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching NetworksCode1
A Combination of Theta*, ORCA and Push and Rotate for Multi-agent NavigationCode1
Applicability and Surrogacy of Uncorrelated Airspace Encounter Models at Low AltitudesCode1
Meshing Point Clouds with Predicted Intrinsic-Extrinsic Ratio GuidanceCode1
BiTraP: Bi-directional Pedestrian Trajectory Prediction with Multi-modal Goal EstimationCode1
Autonomous 3D Exploration in Large-Scale Environments with Dynamic ObstaclesCode1
Dashing for the Golden Snitch: Multi-Drone Time-Optimal Motion Planning with Multi-Agent Reinforcement LearningCode1
GP-guided MPPI for Efficient Navigation in Complex Unknown Cluttered EnvironmentsCode1
Backward Reachability Analysis for Neural Feedback LoopsCode1
FlightForge: Advancing UAV Research with Procedural Generation of High-Fidelity Simulation and Integrated AutonomyCode1
Learn to Follow: Decentralized Lifelong Multi-agent Pathfinding via Planning and LearningCode1
Accelerated Sim-to-Real Deep Reinforcement Learning: Learning Collision Avoidance from Human PlayerCode1
Decentralized Social Navigation with Non-Cooperative Robots via Bi-Level OptimizationCode1
Automated Process Planning for Hybrid Manufacturing—0
Automated Automotive Radar Calibration With Intelligent Vehicles—0
A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks—0
A Method for Vehicle Collision Risk Assessment through Inferring Driver's Braking Actions in Near-Crash Situations—0
AuraSense: Robot Collision Avoidance by Full Surface Proximity Detection—0
Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning—0
Adaptive Genomic Evolution of Neural Network Topologies (AGENT) for State-to-Action Mapping in Autonomous Agents—0
A Tunable Universal Formula for Safety-Critical Control—0
AttentionSwarm: Reinforcement Learning with Attention Control Barier Function for Crazyflie Drones in Dynamic Environments—0
Aligning Diffusion Model with Problem Constraints for Trajectory Optimization—0
A Tractable Handoff-aware Rate Outage Approximation with Applications to THz-enabled Vehicular Network Optimization—0
Asynchronous distributed collision avoidance with intention consensus for inland autonomous ships—0
A Learning Framework for Robust Bin Picking by Customized Grippers—0
Collision-free Source Seeking and Flocking Control of Multi-agents with Connectivity Preservation—0
A Survey on Context-Aware Multi-Agent Systems: Techniques, Challenges and Future Directions—0
A Learning Framework For Cooperative Collision Avoidance of UAV Swarms Leveraging Domain Knowledge—0
A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems—0
A Spatial-Domain Coordinated Control Method for CAVs at Unsignalized Intersections Considering Motion Uncertainty—0
AI on the Water: Applying DRL to Autonomous Vessel Navigation—0
A Simple yet Effective Subway Self-positioning Method based on Aerial-view Sleeper Detection—0
A Guidance and Maneuvering Control System Design with Anti-collision Using Stream Functions with Vortex Flows for Autonomous Marine Vessels—0
Adaptive Autonomy in Human-on-the-Loop Vision-Based Robotics Systems—0
ARMOR: Egocentric Perception for Humanoid Robot Collision Avoidance and Motion Planning—0
Collision Avoidance for Convex Primitives via Differentiable Optimization Based High-Order Control Barrier Functions—0
Collision Avoidance Detour for Multi-Agent Trajectory Forecasting—0
A Review of Scene Representations for Robot Manipulators—0
A Cupola-Shaped Multimode Multiport Antenna for Aerial Direction Finding—0
Collision-Free Navigation using Evolutionary Symmetrical Neural Networks—0
Collision Avoidance and Navigation for a Quadrotor Swarm Using End-to-end Deep Reinforcement Learning—0
Collision Avoidance and Geofencing for Fixed-wing Aircraft with Control Barrier Functions—0
Collision Avoidance for Ellipsoidal Rigid Bodies with Control Barrier Functions Designed from Rotating Supporting Hyperplanes—0
Collision Avoidance for Elliptical Agents with Control Barrier Function Utilizing Supporting Lines—0
AI Algorithm for Predicting and Optimizing Trajectory of UAV Swarm—0
Clustering-based Multicast Scheme for UAV Networks—0
Show:102550
← PrevPage 2 of 12Next →

Benchmark Results

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