Jieyu Zhou
収録論文 1本 ・ フィジカルAI/ロボット学習
ナビゲーション
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- LLMによる信号時相論理仕様の翻訳と修復を用いた低空UAVの自然言語ナビゲーションナビゲーション2026/3/1
自然言語の指示を信号時相論理(STL)仕様に変換し、混合整数線形計画法で軌道を生成するUAVナビゲーションフレームワークを提案。LLMによる仕様翻訳と、不実行時の仕様修復機構を備える。
世界のフィジカルAIを、日本語で。
収録論文 1本 ・ フィジカルAI/ロボット学習
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
自然言語の指示を信号時相論理(STL)仕様に変換し、混合整数線形計画法で軌道を生成するUAVナビゲーションフレームワークを提案。LLMによる仕様翻訳と、不実行時の仕様修復機構を備える。