Mingyu Cai

University of California, Riverside

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

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

論文

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

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

• Uncertainty-Aware Intention Prediction for Human-to-Robot Assembly Teleoperation
  2026/6/1
• 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
• Safe Navigation in Dynamic Environments Using Data-Driven Koopman Operators and Conformal Prediction
  2025/4/1
• Hierarchical Deep Learning for Intention Estimation of Teleoperation Manipulation in Assembly Tasks
  2024/3/1
• Model-free Motion Planning of Autonomous Agents for Complex Tasks in Partially Observable Environments
  2023/5/1
• LQR-CBF-RRT*: Safe and Optimal Motion Planning
  2023/4/1
• Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
  2022/10/1
• A Robotic Visual Grasping Design: Rethinking Convolution Neural Network with High-Resolutions
  2022/9/1
• Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specifications
  2022/1/1
• Time-Incremental Learning from Data Using Temporal Logics
  2021/12/1
• Online Motion Planning with Soft Metric Interval Temporal Logic in Unknown Dynamic Environment
  2021/10/1
• Safety-Critical Learning of Robot Control with Temporal Logic Specifications
  2021/9/1
• Reinforcement Learning Based Temporal Logic Control with Soft Constraints Using Limit-deterministic Generalized Buchi Automata
  2021/1/1
• Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction
  2020/10/1
• Optimal Probabilistic Motion Planning with Potential Infeasible LTL Constraints
  2020/7/1
• Receding Horizon Control Based Online Motion Planning with Partially Infeasible LTL Specifications
  2020/7/1