Georgios Fainekos
収録論文 40本 ・ フィジカルAI/ロボット学習
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- FalconTrack: Photorealistic Auto-Labeled Perception and Physics-Aware Vision-Based Aerial Tracking2026/6/1
- Reinforcement Learning for Risk Adaptation via Differentiable CVaR Barrier Functions2026/5/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
- 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
- GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems2025/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
- Querying Perception Streams with Spatial Regular Expressions2024/11/1
- Risk-aware MPPI for Stochastic Hybrid Systems2024/11/1
- Repairing Neural Networks for Safety in Robotic Systems using Predictive Models2024/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
- Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout2024/3/1
- SMT-Based Dynamic Multi-Robot Task Allocation2024/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
- Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics2023/3/1
- Safe Robot Learning in Assistive Devices through Neural Network Repair2023/3/1
- NMPC-LBF: Nonlinear MPC with Learned Barrier Function for Decentralized Safe Navigation of Multiple Robots in Unknown Environments2022/8/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
- Joint Communication and Motion Planning for Cobots2021/9/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
- DeepCrashTest: Turning Dashcam Videos into Virtual Crash Tests for Automated Driving Systems2020/3/1
- Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components2019/8/1
- Rapidly-exploring Random Trees-based Test Generation for Autonomous Vehicles2019/3/1
- Deep Predictive Models for Collision Risk Assessment in Autonomous Driving2017/11/1
- Extended LTLvis Motion Planning interface (Extended Technical Report)2016/7/1
- Modeling Concurrency and Reconfiguration in Vehicular Systems: A $\pi$-calculus Approach2016/4/1
- DisCoF$^+$: Asynchronous DisCoF with Flexible Decoupling for Cooperative Pathfinding in Distributed Systems2015/6/1