TY - RPRT TI - SAT-MARL: Specification Aware Training in Multi-Agent Reinforcement Learning AU - Fabian Ritz AU - Thomy Phan AU - Robert Müller AU - Thomas Gabor AU - Andreas Sedlmeier AU - Marc Zeller AU - Jan Wieghardt AU - Reiner Schmid AU - Horst Sauer AU - Cornel Klein AU - Claudia Linnhoff-Popien PY - 2020 DO - 10.5220/0010189500280037 UR - https://arxiv.org/abs/2012.07949 ID - 2012.07949 ER -