Synthesis of Reward Machines for Multi-Agent Equilibrium Design (Full Version)

Open in new window