TY  - RPRT
TI  - Steady-State Strategy Synthesis for Swarms of Autonomous Agents
AU  - Martin Jonáš
AU  - Antonín Kučera
AU  - Vojtěch Kůr
AU  - Jan Mačák
PY  - 2025
UR  - https://arxiv.org/abs/2505.12406
ID  - 2505.12406
ER  -