Steady-State Strategy Synthesis for Swarms of Autonomous Agents

Martin Jonáš, Antonín Kučera, Vojtěch Kůr +1

Steady-state synthesis aims to construct a policy for a given MDP $D$ such that the long-run average frequencies of visits to the vertices of $D$ satisfy given numerical constraint…