TY - RPRT TI - Synthesis of Reward Machines for Multi-Agent Equilibrium Design (Full Version) AU - Muhammad Najib AU - Giuseppe Perelli PY - 2024 UR - https://arxiv.org/abs/2408.10074 ID - 2408.10074 ER -