HyPOLE Framework for Hyperproperty-Guided MARL | HACKOBAR_