Ufuk Topcu
The University of Texas at Austin
収録論文 69本 ・ フィジカルAI/ロボット学習
VLA
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- もし、ならば、そうでなければ：視覚言語ナビゲーションにおける条件分岐の診断VLA2026/8/18
視覚言語ナビゲーションエージェントの条件分岐能力を診断するためのベンチマークCondVLNを導入し、分岐条件をシーングラフに基づいて生成し、エージェントの失敗原因を分析した。
- Computing on the Fly: Navigating a Vision for the Future of Drone Computing2026/7/1
- Path Planning in Physically Viable World Models2026/7/1
- VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents2026/6/1
- Co-GLANCE: Uncertainty-Aware Active Perception for Heterogeneous Robot Teaming2026/6/1
- What Objects Enable, Not What They Are: Functional Latent Spaces for Affordance Reasoning2026/6/1
- Robust Multi-Agent Reinforcement Learning for Small UAS Separation Assurance under GPS Degradation and Spoofing2026/3/1
- When Should Agents Coordinate in Differentiable Sequential Decision Problems?2026/2/1
- Bayesian Inverse Games with High-Dimensional Multi-Modal Observations2026/1/1
- MoS-VLA: A Vision-Language-Action Model with One-Shot Skill Adaptation2025/10/1
- RepV: Safety-Separable Latent Spaces for Scalable Neurosymbolic Plan Verification2025/10/1
- UNCAP: Uncertainty-Guided Neurosymbolic Planning Using Natural Language Communication for Cooperative Autonomous Vehicles2025/10/1
- VLN-Zero: Rapid Exploration and Cache-Enabled Neurosymbolic Vision-Language Planning for Zero-Shot Transfer in Robot Navigation2025/9/1
- LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback2025/9/1
- Zero to Autonomy in Real-Time: Online Adaptation of Dynamics in Unstructured Environments2025/9/1
- Online Adaptation of Terrain-Aware Dynamics for Planning in Unstructured Environments2025/6/1
- A Multi-Fidelity Control Variate Approach for Policy Gradient Estimation2025/3/1
- IG-MCTS: Human-in-the-Loop Cooperative Navigation under Incomplete Information2025/2/1
- A Reinforcement Learning Approach to Quiet and Safe UAM Traffic Management2025/1/1
- Know Where You're Uncertain When Planning with Multimodal Foundation Models: A Formal Framework2024/11/1
- Approximate Feedback Nash Equilibria with Sparse Inter-Agent Dependencies2024/10/1
- Joint Verification and Refinement of Language Models for Safety-Constrained Planning2024/10/1
- MultiNash-PF: A Particle Filtering Approach for Computing Multiple Local Generalized Nash Equilibria in Trajectory Games2024/10/1
- On The Planning Abilities of OpenAI's o1 Models: Feasibility, Optimality, and Generalizability2024/9/1
- Zero-Shot Transfer of Neural ODEs2024/5/1
- MM3DGS SLAM: Multi-modal 3D Gaussian Splatting for SLAM Using Vision, Depth, and Inertial Measurements2024/4/1
- Scalable Networked Feature Selection with Randomized Algorithm for Robot Navigation2024/3/1
- Online Foundation Model Selection in Robotics2024/2/1
- Auto-Encoding Bayesian Inverse Games2024/2/1
- A Multifidelity Sim-to-Real Pipeline for Verifiable and Compositional Reinforcement Learning2023/12/1
- Fine-Tuning Language Models Using Formal Methods Feedback2023/10/1
- How to Learn and Generalize From Three Minutes of Data: Physics-Constrained and Uncertainty-Aware Neural Stochastic Differential Equations2023/6/1
- Learning Sparse Control Tasks from Pixels by Latent Nearest-Neighbor-Guided Explorations2023/2/1
- Safely: Safe Stochastic Motion Planning Under Constrained Sensing via Duality2022/3/1
- Dynamic Certification for Autonomous Systems2022/3/1
- Hierarchical Control for Head-to-Head Autonomous Racing2022/2/1
- A Barrier Pair Method for Safe Human-Robot Shared Autonomy2021/12/1
- Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling2021/9/1
- From Agile Ground to Aerial Navigation: Learning from Learned Hallucination2021/8/1
- Learning to Reach, Swim, Walk and Fly in One Trial: Data-Driven Control with Scarce Data and Side Information2021/6/1
- Non-Parametric Neuro-Adaptive Control Subject to Task Specifications2021/6/1
- Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications2021/4/1
- A 3D Printing Hexacopter: Design and Demonstration2021/3/1
- Self-Supervised Online Reward Shaping in Sparse-Reward Environments2021/3/1
- Multiple Plans are Better than One: Diverse Stochastic Planning2020/12/1
- BP-RRT: Barrier Pair Synthesis for Temporal Logic Motion Planning2020/9/1
- Robust Finite-State Controllers for Uncertain POMDPs2020/9/1
- Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations2020/9/1
- Near-Optimal Reactive Synthesis Incorporating Runtime Information2020/7/1
- Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization2020/4/1
- Active Task-Inference-Guided Deep Inverse Reinforcement Learning2020/1/1
- Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization2019/11/1
- Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach2019/9/1
- Differentially Private Controller Synthesis With Metric Temporal Logic Specifications2019/9/1
- Synthesis of Provably Correct Autonomy Protocols for Shared Control2019/5/1
- Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions2019/3/1
- Distributed Synthesis of Surveillance Strategies for Mobile Sensors2019/2/1
- Reactive Task and Motion Planning for Robust Whole-Body Dynamic Locomotion in Constrained Environments2018/11/1
- Counterexamples for Robotic Planning Explained in Structured Language2018/3/1
- Control-Oriented Learning on the Fly2017/9/1
- Synthesis of surveillance strategies via belief abstraction2017/9/1
- Strategy Synthesis in POMDPs via Game-Based Abstractions2017/8/1
- Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees2016/10/1
- Probabilistic Model Checking for Complex Cognitive Tasks -- A case study in human-robot interaction2016/10/1
- Risk-Averse $\omega$-regular Markov Decision Process Control2016/3/1
- Optimal Temporal Logic Planning in Probabilistic Semantic Maps2015/10/1
- Pareto efficiency in synthesizing shared autonomy policies with temporal logic constraints2014/12/1
- Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations2014/10/1
- Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints2014/4/1