Anne-Kathrin Schmuck

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

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

論文

• 文脈トリガー型ロバストMPCによる時相論理仕様の満足化
  制御合成2026/7/1

  離散時間線形システムに対し、外乱下で文脈依存の線形時相論理仕様を満たすロバストなフィードバック制御器を合成する問題を扱い、ロバストMPCと局所不変制御器を組み合わせたスイッチング制御アーキテクチャを提案した。

• MANTRA: ツール使用LLMエージェント向けSMT検証済みコンプライアンスベンチマークの合成
  LLMエージェント2026/5/7

  自然言語の手順書とツールスキーマから、SMTソルバーで検証されたコンプライアンスベンチマークを自動生成するフレームワークMANTRAを提案。

• 戦略的多エージェントインタラクションのための文脈トリガ型コンティンジェンシーゲーム
  群制御2025/12/1

  時相論理仕様に基づく戦略ゲームとリアルタイムの動的コンティンジェンシーゲームを統合し、自動運転やロボットナビゲーションで安全かつ効率的な多エージェント相互作用を実現する二層アーキテクチャを提案。

• 最大適応・最小ガイダンス：人間参加型の許容的反応ロボットタスク計画
  人間ロボット協調2025/10/1

  人間が独立した未知のタスクを行う環境で、ロボットが時相論理タスクを満たしつつ、オンラインで適応し必要最小限の協力要請を行う枠組みを提案し、ブロック操作とOvercooked-AIで検証した。