Steady-State Strategy Synthesis for Swarms of Autonomous Agents