HyPOLE: Hyperproperty-Guided Multi-Agent Reinforcement Learning under Partial Observation
Researchers introduced HyPOLE, a framework for multi-agent reinforcement learning under partial observation that uses hyperproperty specifications in HyperLTL to guide policy synthesis. The framework integrates centraliz…