HyPOLE: Hyperproperty-Guided Multi-Agent Reinforcement Learning under Partial Observation
arXiv:2606.30966v1 Announce Type: new Abstract: Formal specification is a powerful tool to guide the learning process and provides significant advantages over reward shaping: (1) mathematical rigor;…
