Finite Agent Machines: guarantees for dynamic agent swarms [pdf] | Hacker News Reader