第44回日本ロボット学会学術講演会（2026年9月1日（火）～4日（金）金沢大学自然科学本館）で以下の発表があります。
9月4日（金）A室（大講義室A）3A3-05 14:08～
Prime Agent：LLM による柔軟なタスク理解とモデル検査による形式的検証を統合した高信頼マルチロボット行動計画エージェント
葛原 知輝, 王 森岭, 高橋 瑞生, 李 河潤, 甲斐 博, 高橋 寛（愛媛大学）
学会のホームページはhttps://ac.rsj-web.org/2026/です。
第44回日本ロボット学会学術講演会（2026年9月1日（火）～4日（金）金沢大学自然科学本館）で以下の発表があります。
9月4日（金）A室（大講義室A）3A3-05 14:08～
Prime Agent：LLM による柔軟なタスク理解とモデル検査による形式的検証を統合した高信頼マルチロボット行動計画エージェント
葛原 知輝, 王 森岭, 高橋 瑞生, 李 河潤, 甲斐 博, 高橋 寛（愛媛大学）
学会のホームページはhttps://ac.rsj-web.org/2026/です。