Bardh Hoxha
収録論文 32本 ・ フィジカルAI/ロボット学習
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- FalconTrack: Photorealistic Auto-Labeled Perception and Physics-Aware Vision-Based Aerial Tracking2026/6/1
- Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts2026/5/1
- Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations2026/5/1
- Reinforcement Learning for Risk Adaptation via Differentiable CVaR Barrier Functions2026/5/1
- Spatio-Temporal Grounding of Large Language Models from Perception Streams2026/4/1
- Safe Model Predictive Diffusion with Shielding2025/12/1
- Performance-Guided Refinement for Visual Aerial Navigation using Editable Gaussian Splatting in FalconGym 2.02025/10/1
- Fair-CoPlan: Negotiated Flight Planning with Fair Deconfliction for Urban Air Mobility2025/8/1
- GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems2025/8/1
- FiReFly: Fair Distributed Receding Horizon Planning for Multiple UAVs2025/8/1
- BR-MPPI: Barrier Rate guided MPPI for Enforcing Multiple Inequality Constraints with Learned Signed Distance Field2025/6/1
- Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions2025/4/1
- Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications2025/4/1
- MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments2025/4/1
- RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics2025/1/1
- Risk-aware MPPI for Stochastic Hybrid Systems2024/11/1
- Querying Perception Streams with Spatial Regular Expressions2024/11/1
- Neural Configuration Distance Function for Continuum Robot Control2024/9/1
- Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions2024/7/1
- Optimal Planning for Timed Partial Order Specifications2024/5/1
- CBFKIT: A Control Barrier Function Toolbox for Robotics Applications2024/4/1
- SMT-Based Dynamic Multi-Robot Task Allocation2024/3/1
- Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout2024/3/1
- Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation2023/12/1
- Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions2023/11/1
- Robust Conformal Prediction for STL Runtime Verification under Distribution Shift2023/11/1
- A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems2023/3/1
- Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic2022/6/1
- Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions2021/12/1
- PerceMon: Online Monitoring for Perception Systems2021/8/1
- Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions2021/5/1
- Search-based Test-Case Generation by Monitoring Responsibility Safety Rules2020/5/1