Kevin Leahy

収録論文 11本 ・ フィジカルAI/ロボット学習

※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。

論文

• Conflict-Aware Switching for CBF-CLF-Based Multi-Goal Navigation
  2026/6/1
• Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming
  2026/6/1
• Robust Multi-Agent Target Tracking in Intermittent Communication Environments via Analytical Belief Merging
  2026/4/1
• Real-Time Optical Communication Using Event-Based Vision with Moving Transmitters
  2026/3/1
• Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints
  2025/3/1
• Grand Challenges in the Verification of Autonomous Systems
  2024/11/1
• Comp-LTL: Temporal Logic Planning via Zero-Shot Policy Composition
  2024/8/1
• Tell Me What You Want (What You Really, Really Want): Addressing the Expectation Gap for Goal Conveyance from Humans to Robots
  2024/3/1
• A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo
  2023/10/1
• STL: Surprisingly Tricky Logic (for System Validation)
  2023/5/1
• Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
  2022/10/1