SAT-MARL: Specification Aware Training in Multi-Agent Reinforcement Learning Topics: Industrial Applications of AI; Multi-Agent Systems; Privacy, Safety and Security In Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, 28-37, 2021