HyperLTL

速報

HyPOLE：結合 HyperLTL 的多代理強化學習新框架

形式規格提供數學嚴謹性與表達力，可直接指定目標與限制，並定義達成策略。研究將此概念引入部分可觀測的多代理強化學習（MARL），提出 HyPOLE 框架，利用 HyperLTL 形式規格引導學習，並結合集中訓練分散執行（CTDE）技術合成分散策略。