
HyPOLE: Hyperproperty-Guided Multi-Agent Reinforcement Learning
HyPOLE is a new framework that leverages hyperproperties and HyperLTL temporal logic to guide Multi-Agent Reinforcement Learning (MARL) under partial observability. It integrates Centralized Training for Decentralized Execution (CTDE) to synthesize robust decentralized policies.
