arXiv cs.AI
· Papers
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; (2) expressiveness to specify objectives and constraints, and (3) the ability to define tactics to achieve objectives. Ho