:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	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
Published:	2025
Subjects:	Robotics Artificial Intelligence
Online Access:	https://arxiv.org/abs/2505.03694
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Constrained Decoding for Safe Robot Navigation Foundation Models
by: Kapoor, Parv, et al.
Published: (2025)

TartanAviation: Image, Speech, and ADS-B Trajectory Datasets for Terminal Airspace Operations
by: Patrikar, Jay, et al.
Published: (2024)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
by: Kapoor, Parv, et al.
Published: (2024)

Follow The Rules: Online Signal Temporal Logic Tree Search for Guided Imitation Learning in Stochastic Domains
by: Aloor, Jasmine Jerry, et al.
Published: (2022)

Counterexample Classification against Signal Temporal Logic Specifications
by: Zhang, Zhenya, et al.
Published: (2026)

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
by: Kapoor, Parv, et al.
Published: (2025)

Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic
by: Kapoor, Parv, et al.
Published: (2026)

Pretrained Embeddings as a Behavior Specification Mechanism
by: Kapoor, Parv, et al.
Published: (2025)

World2Rules: A Neuro-Symbolic Framework for Learning World-Governing Safety Rules for Aviation
by: Wang, Haichuan, et al.
Published: (2026)

AutoODD: Agentic Audits via Bayesian Red Teaming in Black-Box Models
by: Martin, Rebecca, et al.
Published: (2025)

Constrained LTL Specification Learning from Examples
by: Zhang, Changjian, et al.
Published: (2024)

SoRTS: Learned Tree Search for Long Horizon Social Robot Navigation
by: Navarro, Ingrid, et al.
Published: (2023)

Logically Constrained Robotics Transformers for Enhanced Perception-Action Planning
by: Kapoor, Parv, et al.
Published: (2024)

Any4D: Unified Feed-Forward Metric 4D Reconstruction
by: Karhade, Jay, et al.
Published: (2025)

Robots that Learn to Safely Influence via Prediction-Informed Reach-Avoid Dynamic Games
by: Pandya, Ravi, et al.
Published: (2024)

SplaTAM: Splat, Track & Map 3D Gaussians for Dense RGB-D SLAM
by: Keetha, Nikhil, et al.
Published: (2023)

UFM: A Simple Path towards Unified Dense Correspondence with Flow
by: Zhang, Yuchen, et al.
Published: (2025)

RuleFuser: An Evidential Bayes Approach for Rule Injection in Imitation Learned Planners and Predictors for Robustness under Distribution Shifts
by: Patrikar, Jay, et al.
Published: (2024)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
by: Zhang, Changjian, et al.
Published: (2023)

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
by: Zhang, Changjian, et al.
Published: (2024)

The Case for Negative Data: From Crash Reports to Counterfactuals for Reasonable Driving
by: Patrikar, Jay, et al.
Published: (2025)

Amelia: A Large Dataset and Benchmark for Airport Surface Movement Forecasting
by: Navarro, Ingrid, et al.
Published: (2024)

Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning
by: Dardik, Ian, et al.
Published: (2025)

RAVEN: Resilient Aerial Navigation via Open-Set Semantic Memory and Behavior Adaptation
by: Kim, Seungchan, et al.
Published: (2025)

Co-Me: Confidence-Guided Token Merging for Visual Geometric Transformers
by: Chen, Yutian, et al.
Published: (2025)

Pegasus Simulator: An Isaac Sim Framework for Multiple Aerial Vehicles Simulation
by: Jacinto, Marcelo, et al.
Published: (2023)

Informative Sensor Planning for a Single-Axis Gimbaled Camera on a Fixed-Wing UAV
by: Parandekar, Aditya, et al.
Published: (2024)

Aerial Field Robotics
by: Kulkarni, Mihir, et al.
Published: (2024)

Hierarchical Planning for Long-Horizon Multi-Target Tracking Under Target Motion Uncertainty
by: Yuan, Junbin, et al.
Published: (2025)

Safe PDE Boundary Control with Neural Operators
by: Hu, Hanjiang, et al.
Published: (2024)

Implicit Safe Set Algorithm for Provably Safe Reinforcement Learning
by: Zhao, Weiye, et al.
Published: (2024)

Back to Base: Towards Hands-Off Learning via Safe Resets with Reach-Avoid Safety Filters
by: Begzadić, Azra, et al.
Published: (2025)

Safe Control of Quadruped in Varying Dynamics via Safety Index Adaptation
by: Yun, Kai S., et al.
Published: (2024)

Dexterous Safe Control for Humanoids in Cluttered Environments via Projected Safe Set Algorithm
by: Chen, Rui, et al.
Published: (2025)

UniSaT: Unified-Objective Belief Model and Planner to Search for and Track Multiple Objects
by: Santos, Leonardo, et al.
Published: (2024)

RayFronts: Open-Set Semantic Ray Frontiers for Online Scene Understanding and Exploration
by: Alama, Omar, et al.
Published: (2025)

Recomposition: A New Technique for Efficient Compositional Verification
by: Dardik, Ian, et al.
Published: (2024)

Multimodal Safe Control for Human-Robot Interaction
by: Pandya, Ravi, et al.
Published: (2023)

Detection of Rail Line Track and Human Beings Near the Track to Avoid Accidents
by: Hosain, Mehrab, et al.
Published: (2025)

Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation
by: Hu, Hanjiang, et al.
Published: (2024)