Image de couverture de livre

Demonstrating ViSafe: Vision-enabled Safety for High-speed Detect and Avoid

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kapoor, Parv, Higgins, Ian, Keetha, Nikhil, Patrikar, Jay, Moon, Brady, Ye, Zelin, He, Yao, Cisneros, Ivan, Hu, Yaoyu, Liu, Changliu, Kang, Eunsuk, Scherer, Sebastian
Format:	Preprint
Publié:	2025
Sujets:	Robotics Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Constrained Decoding for Safe Robot Navigation Foundation Models
par: Kapoor, Parv, et autres
Publié: (2025)

TartanAviation: Image, Speech, and ADS-B Trajectory Datasets for Terminal Airspace Operations
par: Patrikar, Jay, et autres
Publié: (2024)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
par: Kapoor, Parv, et autres
Publié: (2024)

Follow The Rules: Online Signal Temporal Logic Tree Search for Guided Imitation Learning in Stochastic Domains
par: Aloor, Jasmine Jerry, et autres
Publié: (2022)

Counterexample Classification against Signal Temporal Logic Specifications
par: Zhang, Zhenya, et autres
Publié: (2026)

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
par: Kapoor, Parv, et autres
Publié: (2025)

Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic
par: Kapoor, Parv, et autres
Publié: (2026)

Pretrained Embeddings as a Behavior Specification Mechanism
par: Kapoor, Parv, et autres
Publié: (2025)

World2Rules: A Neuro-Symbolic Framework for Learning World-Governing Safety Rules for Aviation
par: Wang, Haichuan, et autres
Publié: (2026)

AutoODD: Agentic Audits via Bayesian Red Teaming in Black-Box Models
par: Martin, Rebecca, et autres
Publié: (2025)

Constrained LTL Specification Learning from Examples
par: Zhang, Changjian, et autres
Publié: (2024)

Logically Constrained Robotics Transformers for Enhanced Perception-Action Planning
par: Kapoor, Parv, et autres
Publié: (2024)

SoRTS: Learned Tree Search for Long Horizon Social Robot Navigation
par: Navarro, Ingrid, et autres
Publié: (2023)

Robots that Learn to Safely Influence via Prediction-Informed Reach-Avoid Dynamic Games
par: Pandya, Ravi, et autres
Publié: (2024)

Any4D: Unified Feed-Forward Metric 4D Reconstruction
par: Karhade, Jay, et autres
Publié: (2025)

SplaTAM: Splat, Track & Map 3D Gaussians for Dense RGB-D SLAM
par: Keetha, Nikhil, et autres
Publié: (2023)

RuleFuser: An Evidential Bayes Approach for Rule Injection in Imitation Learned Planners and Predictors for Robustness under Distribution Shifts
par: Patrikar, Jay, et autres
Publié: (2024)

UFM: A Simple Path towards Unified Dense Correspondence with Flow
par: Zhang, Yuchen, et autres
Publié: (2025)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
par: Zhang, Changjian, et autres
Publié: (2023)

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
par: Zhang, Changjian, et autres
Publié: (2024)

The Case for Negative Data: From Crash Reports to Counterfactuals for Reasonable Driving
par: Patrikar, Jay, et autres
Publié: (2025)

Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning
par: Dardik, Ian, et autres
Publié: (2025)

Back to Base: Towards Hands-Off Learning via Safe Resets with Reach-Avoid Safety Filters
par: Begzadić, Azra, et autres
Publié: (2025)

Amelia: A Large Dataset and Benchmark for Airport Surface Movement Forecasting
par: Navarro, Ingrid, et autres
Publié: (2024)

Safe PDE Boundary Control with Neural Operators
par: Hu, Hanjiang, et autres
Publié: (2024)

Implicit Safe Set Algorithm for Provably Safe Reinforcement Learning
par: Zhao, Weiye, et autres
Publié: (2024)

Safe Control of Quadruped in Varying Dynamics via Safety Index Adaptation
par: Yun, Kai S., et autres
Publié: (2024)

Informative Sensor Planning for a Single-Axis Gimbaled Camera on a Fixed-Wing UAV
par: Parandekar, Aditya, et autres
Publié: (2024)

Aerial Field Robotics
par: Kulkarni, Mihir, et autres
Publié: (2024)

Hierarchical Planning for Long-Horizon Multi-Target Tracking Under Target Motion Uncertainty
par: Yuan, Junbin, et autres
Publié: (2025)

Dexterous Safe Control for Humanoids in Cluttered Environments via Projected Safe Set Algorithm
par: Chen, Rui, et autres
Publié: (2025)

Co-Me: Confidence-Guided Token Merging for Visual Geometric Transformers
par: Chen, Yutian, et autres
Publié: (2025)

Pegasus Simulator: An Isaac Sim Framework for Multiple Aerial Vehicles Simulation
par: Jacinto, Marcelo, et autres
Publié: (2023)

RAVEN: Resilient Aerial Navigation via Open-Set Semantic Memory and Behavior Adaptation
par: Kim, Seungchan, et autres
Publié: (2025)

Geometry-Informed Distance Candidate Selection for Adaptive Lightweight Omnidirectional Stereo Vision with Fisheye Images
par: Pulling, Conner, et autres
Publié: (2024)

UniSaT: Unified-Objective Belief Model and Planner to Search for and Track Multiple Objects
par: Santos, Leonardo, et autres
Publié: (2024)

Multimodal Safe Control for Human-Robot Interaction
par: Pandya, Ravi, et autres
Publié: (2023)

Detection of Rail Line Track and Human Beings Near the Track to Avoid Accidents
par: Hosain, Mehrab, et autres
Publié: (2025)

Recomposition: A New Technique for Efficient Compositional Verification
par: Dardik, Ian, et autres
Publié: (2024)

RayFronts: Open-Set Semantic Ray Frontiers for Online Scene Understanding and Exploration
par: Alama, Omar, et autres
Publié: (2025)