Licheng Luo

University of California, Riverside

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

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

論文

• SCP-NL2TL: 自然言語から時相論理仕様への選択的適合予測と意味検証
  形式仕様変換2026/8/5

  自然言語の指示を形式仕様に変換する際、信頼できない翻訳を拒否する選択的翻訳フレームワークを提案。逆翻訳の忠実度と翻訳の分散を組み合わせたスコアで信頼性を評価し、適合予測で誤受理率を制御する。

• Differentiable SpaTiaL: Symbolic Learning and Reasoning with Geometric Temporal Logic for Manipulation Tasks
  2026/4/1
• NL2SpaTiaL: Generating Geometric Spatio-Temporal Logic Specifications from Natural Language for Manipulation Tasks
  2025/12/1
• Deadlock-Free Hybrid RL-MAPF Framework for Zero-Shot Multi-Robot Navigation
  2025/11/1
• Time-aware Motion Planning in Dynamic Environments with Conformal Prediction
  2025/11/1
• Bridging Deep Reinforcement Learning and Motion Planning for Model-Free Navigation in Cluttered Environments
  2025/4/1