:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Fronda, Nicole, Smith, Phil, Hoxha, Bardh, Pant, Yash, Abbas, Houssam
Format:	Preprint
Published:	2025
Subjects:	Robotics
Online Access:	https://arxiv.org/abs/2508.14380
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

FiReFly: Fair Distributed Receding Horizon Planning for Multiple UAVs
by: Fronda, Nicole, et al.
Published: (2025)

PRREACH: Probabilistic Risk Assessment Using Reachability for UAV Control
by: Fronda, Nicole, et al.
Published: (2025)

Multi-Agent gatekeeper: Safe Flight Planning and Formation Control for Urban Air Mobility
by: Vielmetti, Thomas Marshall, et al.
Published: (2025)

Optimal Planning for Timed Partial Order Specifications
by: Watanabe, Kandai, et al.
Published: (2024)

Efficient Multi-Objective Planning with Weighted Maximization Using Large Neighbourhood Search
by: Kalavadia, Krishna, et al.
Published: (2026)

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics
by: Yamaguchi, Tomoya, et al.
Published: (2025)

Large-Scale Multirobot Coverage Path Planning on Grids With Path Deconfliction
by: Tang, Jingtao, et al.
Published: (2024)

Hierarchical Informative Path Planning via Graph Guidance and Trajectory Optimization
by: Iskandar, Avraiem, et al.
Published: (2026)

Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions
by: Wang, Xinyi, et al.
Published: (2025)

Reinforcement Learning for Risk Adaptation via Differentiable CVaR Barrier Functions
by: Wang, Xinyi, et al.
Published: (2026)

Spatio-Temporal Grounding of Large Language Models from Perception Streams
by: Anderson, Jacob, et al.
Published: (2026)

PerceMon: Online Monitoring for Perception Systems
by: Balakrishnan, Anand, et al.
Published: (2021)

MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments
by: Tuck, Victoria Marie, et al.
Published: (2025)

Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts
by: Kim, Taekyung, et al.
Published: (2026)

CBFKIT: A Control Barrier Function Toolbox for Robotics Applications
by: Black, Mitchell, et al.
Published: (2024)

Transformer-based Heuristic for Advanced Air Mobility Planning
by: Xiang, Jun, et al.
Published: (2024)

Safe Model Predictive Diffusion with Shielding
by: Kim, Taekyung, et al.
Published: (2025)

Performance-Guided Refinement for Visual Aerial Navigation using Editable Gaussian Splatting in FalconGym 2.0
by: Miao, Yan, et al.
Published: (2025)

Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
by: Hashemi, Navid, et al.
Published: (2024)

GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems
by: Majd, Keyvan, et al.
Published: (2025)

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions
by: Yang, Shuo, et al.
Published: (2023)

Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions
by: Parwana, Hardik, et al.
Published: (2024)

Neural Configuration Distance Function for Continuum Robot Control
by: Long, Kehan, et al.
Published: (2024)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
by: Zhao, Yiqi, et al.
Published: (2023)

Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations
by: Hoxha, Bardh, et al.
Published: (2026)

Querying Perception Streams with Spatial Regular Expressions
by: Anderson, Jacob, et al.
Published: (2024)

Risk-aware MPPI for Stochastic Hybrid Systems
by: Parwana, Hardik, et al.
Published: (2024)

Perceptive Variable-Timing Footstep Planning for Humanoid Locomotion on Disconnected Footholds
by: Xiang, Zhaoyang, et al.
Published: (2026)

BR-MPPI: Barrier Rate guided MPPI for Enforcing Multiple Inequality Constraints with Learned Signed Distance Field
by: Parwana, Hardik, et al.
Published: (2025)

Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation
by: Parwana, Hardik, et al.
Published: (2023)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
by: Zhao, Yiqi, et al.
Published: (2025)

Adaptformer: Sequence models as adaptive iterative planners
by: Karthikeyan, Akash, et al.
Published: (2024)

Balancing Efficiency and Fairness: An Iterative Exchange Framework for Multi-UAV Cooperative Path Planning
by: Li, Hongzong, et al.
Published: (2025)

Learning-Based Modeling of Human-Autonomous Vehicle Interaction for Improved Safety in Mixed-Vehicle Platooning Control
by: Wang, Jie, et al.
Published: (2023)

Improving safety in mixed traffic: A learning-based model predictive control for autonomous and human-driven vehicle platooning
by: Wang, Jie, et al.
Published: (2022)

Perception-Aware Time-Optimal Planning for Quadrotor Waypoint Flight
by: Qin, Chao, et al.
Published: (2026)

Air-Ground Collaboration with SPOMP: Semantic Panoramic Online Mapping and Planning
by: Miller, Ian D., et al.
Published: (2024)

Sampling-Based Hierarchical Trajectory Planning for Formation Flight
by: Liu, Qingzhao, et al.
Published: (2024)

Towards Model Predictive Control for Acrobatic Quadrotor Flights
by: Jain, Saransh, et al.
Published: (2024)

CoDriveVLM: VLM-Enhanced Urban Cooperative Dispatching and Motion Planning for Future Autonomous Mobility on Demand Systems
by: Liu, Haichao, et al.
Published: (2025)