@misc{indiciaee28fbdf978ea,
  title = {Synthesis of Reward Machines for Multi-Agent Equilibrium Design (Full Version)},
  author = {Muhammad Najib and Giuseppe Perelli},
  year = {2024},
  url = {https://arxiv.org/abs/2408.10074},
  note = {Source identifier: 2408.10074}
}