Enregistré dans:
| Auteurs principaux: | Fronda, Nicole, Hoxha, Bardh, Abbas, Houssam |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | https://arxiv.org/abs/2508.14381 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Fair-CoPlan: Negotiated Flight Planning with Fair Deconfliction for Urban Air Mobility
par: Fronda, Nicole, et autres
Publié: (2025)
par: Fronda, Nicole, et autres
Publié: (2025)
PRREACH: Probabilistic Risk Assessment Using Reachability for UAV Control
par: Fronda, Nicole, et autres
Publié: (2025)
par: Fronda, Nicole, et autres
Publié: (2025)
Receding-Horizon Nullspace Optimization for Actuation-Aware Control Allocation in Omnidirectional UAVs
par: Pretto, Riccardo, et autres
Publié: (2026)
par: Pretto, Riccardo, et autres
Publié: (2026)
Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts
par: Kim, Taekyung, et autres
Publié: (2026)
par: Kim, Taekyung, et autres
Publié: (2026)
RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics
par: Yamaguchi, Tomoya, et autres
Publié: (2025)
par: Yamaguchi, Tomoya, et autres
Publié: (2025)
ROS2-Based Simulation Framework for Cyberphysical Security Analysis of UAVs
par: Patil, Unmesh, et autres
Publié: (2024)
par: Patil, Unmesh, et autres
Publié: (2024)
Flow-Based Path Planning for Multiple Homogenous UAVs for Outdoor Formation-Flying
par: Ibrahim, Mahmud Suhaimi, et autres
Publié: (2025)
par: Ibrahim, Mahmud Suhaimi, et autres
Publié: (2025)
Optimal Planning for Timed Partial Order Specifications
par: Watanabe, Kandai, et autres
Publié: (2024)
par: Watanabe, Kandai, et autres
Publié: (2024)
Online Multi-Contact Receding Horizon Planning via Value Function Approximation
par: Wang, Jiayi, et autres
Publié: (2023)
par: Wang, Jiayi, et autres
Publié: (2023)
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
par: Zhao, Yiqi, et autres
Publié: (2023)
par: Zhao, Yiqi, et autres
Publié: (2023)
Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions
par: Wang, Xinyi, et autres
Publié: (2025)
par: Wang, Xinyi, et autres
Publié: (2025)
Reinforcement Learning for Risk Adaptation via Differentiable CVaR Barrier Functions
par: Wang, Xinyi, et autres
Publié: (2026)
par: Wang, Xinyi, et autres
Publié: (2026)
Spatio-Temporal Grounding of Large Language Models from Perception Streams
par: Anderson, Jacob, et autres
Publié: (2026)
par: Anderson, Jacob, et autres
Publié: (2026)
PerceMon: Online Monitoring for Perception Systems
par: Balakrishnan, Anand, et autres
Publié: (2021)
par: Balakrishnan, Anand, et autres
Publié: (2021)
Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation
par: Parwana, Hardik, et autres
Publié: (2023)
par: Parwana, Hardik, et autres
Publié: (2023)
BR-MPPI: Barrier Rate guided MPPI for Enforcing Multiple Inequality Constraints with Learned Signed Distance Field
par: Parwana, Hardik, et autres
Publié: (2025)
par: Parwana, Hardik, et autres
Publié: (2025)
CBFKIT: A Control Barrier Function Toolbox for Robotics Applications
par: Black, Mitchell, et autres
Publié: (2024)
par: Black, Mitchell, et autres
Publié: (2024)
Model Predictive Trees: Sample-Efficient Receding Horizon Planning with Reusable Tree Search
par: Lathrop, John, et autres
Publié: (2024)
par: Lathrop, John, et autres
Publié: (2024)
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
par: Zhao, Yiqi, et autres
Publié: (2025)
par: Zhao, Yiqi, et autres
Publié: (2025)
Safe Model Predictive Diffusion with Shielding
par: Kim, Taekyung, et autres
Publié: (2025)
par: Kim, Taekyung, et autres
Publié: (2025)
Performance-Guided Refinement for Visual Aerial Navigation using Editable Gaussian Splatting in FalconGym 2.0
par: Miao, Yan, et autres
Publié: (2025)
par: Miao, Yan, et autres
Publié: (2025)
Dense Fixed-Wing Swarming using Receding-Horizon NMPC
par: Madabushi, Varun, et autres
Publié: (2025)
par: Madabushi, Varun, et autres
Publié: (2025)
Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
par: Hashemi, Navid, et autres
Publié: (2024)
par: Hashemi, Navid, et autres
Publié: (2024)
Risk-Averse Receding Horizon Motion Planning for Obstacle Avoidance using Coherent Risk Measures
par: Dixit, Anushri, et autres
Publié: (2022)
par: Dixit, Anushri, et autres
Publié: (2022)
GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems
par: Majd, Keyvan, et autres
Publié: (2025)
par: Majd, Keyvan, et autres
Publié: (2025)
Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions
par: Yang, Shuo, et autres
Publié: (2023)
par: Yang, Shuo, et autres
Publié: (2023)
Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions
par: Parwana, Hardik, et autres
Publié: (2024)
par: Parwana, Hardik, et autres
Publié: (2024)
Neural Configuration Distance Function for Continuum Robot Control
par: Long, Kehan, et autres
Publié: (2024)
par: Long, Kehan, et autres
Publié: (2024)
Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations
par: Hoxha, Bardh, et autres
Publié: (2026)
par: Hoxha, Bardh, et autres
Publié: (2026)
Querying Perception Streams with Spatial Regular Expressions
par: Anderson, Jacob, et autres
Publié: (2024)
par: Anderson, Jacob, et autres
Publié: (2024)
Risk-aware MPPI for Stochastic Hybrid Systems
par: Parwana, Hardik, et autres
Publié: (2024)
par: Parwana, Hardik, et autres
Publié: (2024)
MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments
par: Tuck, Victoria Marie, et autres
Publié: (2025)
par: Tuck, Victoria Marie, et autres
Publié: (2025)
Behavior-Constrained Reinforcement Learning with Receding-Horizon Credit Assignment for High-Performance Control
par: Ju, Siwei, et autres
Publié: (2026)
par: Ju, Siwei, et autres
Publié: (2026)
QuantGraph: A Receding-Horizon Quantum Graph Solver
par: Vaidhyanathan, Pranav, et autres
Publié: (2025)
par: Vaidhyanathan, Pranav, et autres
Publié: (2025)
Cooperative Receding Horizon 3D Coverage Control with a Team of Networked Aerial Agents
par: Papaioannou, Savvas, et autres
Publié: (2024)
par: Papaioannou, Savvas, et autres
Publié: (2024)
Spatiotemporal Receding Horizon Control with Proactive Interaction Towards Autonomous Driving in Dense Traffic
par: Zheng, Lei, et autres
Publié: (2023)
par: Zheng, Lei, et autres
Publié: (2023)
CosFly: Plan in the Matrix, Fly in the World
par: Chen, Hanxuan, et autres
Publié: (2026)
par: Chen, Hanxuan, et autres
Publié: (2026)
Automated Cinematography Motion Planning for UAVs
par: Nema, Animesh, et autres
Publié: (2024)
par: Nema, Animesh, et autres
Publié: (2024)
SMT-Based Dynamic Multi-Robot Task Allocation
par: Tuck, Victoria Marie, et autres
Publié: (2024)
par: Tuck, Victoria Marie, et autres
Publié: (2024)
REST: Receding Horizon Explorative Steiner Tree for Zero-Shot Object-Goal Navigation
par: Xiao, Shuqi, et autres
Publié: (2026)
par: Xiao, Shuqi, et autres
Publié: (2026)
Documents similaires
-
Fair-CoPlan: Negotiated Flight Planning with Fair Deconfliction for Urban Air Mobility
par: Fronda, Nicole, et autres
Publié: (2025) -
PRREACH: Probabilistic Risk Assessment Using Reachability for UAV Control
par: Fronda, Nicole, et autres
Publié: (2025) -
Receding-Horizon Nullspace Optimization for Actuation-Aware Control Allocation in Omnidirectional UAVs
par: Pretto, Riccardo, et autres
Publié: (2026) -
Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts
par: Kim, Taekyung, et autres
Publié: (2026) -
RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics
par: Yamaguchi, Tomoya, et autres
Publié: (2025)