平均報酬保証付きの交互時間 temporal 論理
arXiv cs.MA ・ 2026-08-02
原題: Alternating-Time Temporal Logic with Mean-Payoff Guarantees
AI による要約
戦略的推論と定量的推論を組み合わせた拡張論理である、重み付き同時ゲーム構造上の「ATL*_mp」を提案し、そのモデル検査の計算複雑性を解析する。時間的目的を強制しつつ長期平均報酬のしきい値を保証する単一戦略の存在判定について、完全記憶および有限記憶セマンティクス下での特性を明らかにした。マルチエージェントシステムの形式検証や自動制御の理論的基盤を強化する。
この要約は当サイトの AI が生成したものです。正確な内容は 元記事（arXiv cs.MA）をご確認ください。