@misc{indiciae2fd7ac30a47a,
  title = {Steady-State Strategy Synthesis for Swarms of Autonomous Agents},
  author = {Martin Jonáš and Antonín Kučera and Vojtěch Kůr and Jan Mačák},
  year = {2025},
  url = {https://arxiv.org/abs/2505.12406},
  note = {Source identifier: 2505.12406}
}