Qian Meng
収録論文 4本 ・ フィジカルAI/ロボット学習
歩行ロボット制御/形式手法タスクプランニング
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- 動的に変化する不整地における四足歩行のための物理的に実行可能なリアクティブ合成歩行2025/9/1
記号レベルのリアクティブ合成と混合整数凸計画を組み合わせ、不整地での四足歩行の足場計画をリアルタイムに再計画する枠組みを提案し、シミュレーションと実機で検証した。
- INPROVF: 大規模言語モデルによる高レベルロボット制御器の仮定違反からの自動修復ロボット制御/形式手法2025/3/1
LLMで修復候補を生成し形式手法で検証する反復ループにより、高レベルロボット制御器の仮定違反を効率的に自動修復するフレームワークを提案。
- 軌道最適化と記号的修復による地形適応歩行のための物理的に実行可能なリアクティブ合成歩行2025/3/1
記号レベルのリアクティブ合成と混合整数凸計画を組み合わせ、動的に変化する未知地形での四足歩行の足場計画をオンラインで生成・修復する枠組みを提案した。
- 高レベル仕様の仮定違反からのロボット自動復旧タスクプランニング2024/7/1
タスク実行中に環境の安全仮定が破られた際、合成ベースの修復で新しいスキルを獲得し、自動的にタスクを完了させるフレームワークを提案。